Add CPROVER_WITH_PROFILING to make build

to be enabled for coverage measurement

Author: yumibagge

buildspec-linux-make-gcc-cov.yml

@@ -34,4 +34,3 @@ cache:
     - '/var/lib/apt/lists/**/*'
     - '/root/.ccache/**/*'
     - '/root/.cache/codecov.sh'
-  

src/config.inc

@@ -8,6 +8,11 @@ else
   CXXFLAGS += -Wall -pedantic -Werror -Wno-deprecated-declarations -Wswitch-enum
 endif
 
+ifeq ($(CPROVER_WITH_PROFILING),1)
+  CXXFLAGS += -fprofile-arcs -ftest-coverage
+  LINKFLAGS += -lgcov -fprofile-arcs
+endif
+
 # Select optimisation or debug info
 #CXXFLAGS += -O2 -DNDEBUG
 #CXXFLAGS += -O0 -g