Add CMake configuration to build ccover

Author: chrisr-diffblue

CMakeLists.txt

@@ -49,6 +49,8 @@ set_target_properties(
     big-int
     cbmc
     cbmc-lib
+    ccover
+    ccover-lib
     clobber
     clobber-lib
     cpp

src/CMakeLists.txt

@@ -101,6 +101,7 @@ add_subdirectory(miniz)
 add_subdirectory(clobber)
 
 add_subdirectory(cbmc)
+add_subdirectory(ccover)
 add_subdirectory(jbmc)
 add_subdirectory(goto-cc)
 add_subdirectory(goto-instrument)

src/ccover/CMakeLists.txt

@@ -0,0 +1,35 @@
+# Library
+file(GLOB_RECURSE sources "*.cpp" "*.h")
+list(REMOVE_ITEM sources
+    ${CMAKE_CURRENT_SOURCE_DIR}/ccover_main.cpp
+)
+add_library(ccover-lib ${sources})
+
+generic_includes(ccover-lib)
+
+target_link_libraries(ccover-lib
+    analyses
+    ansi-c
+    assembler
+    big-int
+    cbmc-lib
+    cpp
+    goto-instrument-lib
+    goto-programs
+    goto-symex
+    java_bytecode
+    json
+    langapi
+    linking
+    pointer-analysis
+    solvers
+    util
+    xml
+)
+
+add_if_library(ccover-lib bv_refinement)
+add_if_library(ccover-lib jsil)
+
+# Executable
+add_executable(ccover ccover_main.cpp)
+target_link_libraries(ccover ccover-lib)