Added CBMC_VERSION defines to CMake configuration

Author: tautschnig

CMakeLists.txt

@@ -95,3 +95,18 @@ set_target_properties(
     CXX_STANDARD_REQUIRED true
     XCODE_ATTRIBUTE_CODE_SIGN_IDENTITY "Developer ID Application: Daniel Kroening"
 )
+
+find_package(Git)
+if(GIT_FOUND)
+  message(STATUS "Found Git executable: ${GIT_EXECUTABLE}")
+  execute_process(
+    COMMAND "${GIT_EXECUTABLE}" "describe" "--tags" "--always" "--long"
+    OUTPUT_VARIABLE git_repo_version
+    WORKING_DIRECTORY "${CMAKE_CURRENT_SOURCE_DIR}"
+    OUTPUT_STRIP_TRAILING_WHITESPACE
+    )
+  message(STATUS "Executable is version ${git_repo_version}")
+else()
+  message(WARNING "Git is not installed, cannot generate version string")
+  set(git_repo_version "n/a")
+endif()

jbmc/src/janalyzer/CMakeLists.txt

@@ -24,3 +24,7 @@ target_link_libraries(janalyzer-lib
 # Executable
 add_executable(janalyzer janalyzer_main.cpp)
 target_link_libraries(janalyzer janalyzer-lib)
+
+target_compile_definitions(janalyzer
+  PRIVATE "-DCBMC_VERSION=\"${git_repo_version}\""
+)

jbmc/src/jbmc/CMakeLists.txt

@@ -29,3 +29,7 @@ target_link_libraries(jbmc-lib
 # Executable
 add_executable(jbmc jbmc_main.cpp)
 target_link_libraries(jbmc jbmc-lib)
+
+target_compile_definitions(jbmc
+  PRIVATE "-DCBMC_VERSION=\"${git_repo_version}\""
+)

jbmc/src/jdiff/CMakeLists.txt

@@ -26,3 +26,7 @@ target_link_libraries(jdiff-lib
 # Executable
 add_executable(jdiff jdiff_main.cpp)
 target_link_libraries(jdiff jdiff-lib)
+
+target_compile_definitions(jdiff
+  PRIVATE "-DCBMC_VERSION=\"${git_repo_version}\""
+)

src/cbmc/CMakeLists.txt

@@ -31,3 +31,7 @@ add_if_library(cbmc-lib jsil)
 # Executable
 add_executable(cbmc cbmc_main.cpp)
 target_link_libraries(cbmc cbmc-lib)
+
+target_compile_definitions(cbmc
+  PRIVATE "-DCBMC_VERSION=\"${git_repo_version}\""
+)

src/clobber/CMakeLists.txt

@@ -30,3 +30,6 @@ add_if_library(clobber-lib bv_refinement)
 add_executable(clobber clobber_main.cpp)
 target_link_libraries(clobber clobber-lib)
 
+target_compile_definitions(clobber
+  PRIVATE "-DCBMC_VERSION=\"${git_repo_version}\""
+)

src/goto-analyzer/CMakeLists.txt

@@ -26,3 +26,7 @@ add_if_library(goto-analyzer-lib jsil)
 # Executable
 add_executable(goto-analyzer goto_analyzer_main.cpp)
 target_link_libraries(goto-analyzer goto-analyzer-lib)
+
+target_compile_definitions(goto-analyzer
+  PRIVATE "-DCBMC_VERSION=\"${git_repo_version}\""
+)

src/goto-cc/CMakeLists.txt

@@ -34,3 +34,7 @@ else()
     COMMAND "${CMAKE_COMMAND}" -E create_symlink
       goto-cc $<TARGET_FILE_DIR:goto-cc>/goto-gcc)
 endif()
+
+target_compile_definitions(goto-cc
+  PRIVATE "-DCBMC_VERSION=\"${git_repo_version}\""
+)

src/goto-diff/CMakeLists.txt

@@ -28,3 +28,7 @@ add_if_library(goto-diff-lib jsil)
 # Executable
 add_executable(goto-diff goto_diff_main.cpp)
 target_link_libraries(goto-diff goto-diff-lib)
+
+target_compile_definitions(goto-diff
+  PRIVATE "-DCBMC_VERSION=\"${git_repo_version}\""
+)

src/memory-models/CMakeLists.txt

@@ -11,3 +11,7 @@ add_library(mmcc
 generic_includes(mmcc)
 
 target_link_libraries(mmcc util)
+
+target_compile_definitions(mmcc
+  PRIVATE "-DCBMC_VERSION=\"${git_repo_version}\""
+)