Added CBMC_VERSION defines to CMake configuration

Author: tautschnig

CMakeLists.txt

@@ -38,6 +38,24 @@ if(${enable_cbmc_tests})
     enable_testing()
 endif()
 
+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
+    )
+else()
+  message(WARNING "Git is not installed, cannot generate git version string")
+endif()
+if(git_repo_version)
+  set(GIT_INFO ${git_repo_version})
+else()
+  set(GIT_INFO "n/a")
+endif()
+
 add_subdirectory(src)
 add_subdirectory(regression)
 add_subdirectory(unit)

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-lib
+  PRIVATE "-DCBMC_VERSION=\"${CBMC_RELEASE} (${GIT_INFO})\""
+)

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-lib
+  PRIVATE "-DCBMC_VERSION=\"${CBMC_RELEASE} (${GIT_INFO})\""
+)

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-lib
+  PRIVATE "-DCBMC_VERSION=\"${CBMC_RELEASE} (${GIT_INFO})\""
+)

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-lib
+  PRIVATE "-DCBMC_VERSION=\"${CBMC_RELEASE} (${GIT_INFO})\""
+)

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-lib
+  PRIVATE "-DCBMC_VERSION=\"${CBMC_RELEASE} (${GIT_INFO})\""
+)

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-lib
+  PRIVATE "-DCBMC_VERSION=\"${CBMC_RELEASE} (${GIT_INFO})\""
+)

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-lib
+  PRIVATE "-DCBMC_VERSION=\"${CBMC_RELEASE} (${GIT_INFO})\""
+)

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-lib
+  PRIVATE "-DCBMC_VERSION=\"${CBMC_RELEASE} (${GIT_INFO})\""
+)

src/goto-instrument/CMakeLists.txt

@@ -32,3 +32,7 @@ add_if_library(goto-instrument-lib glpk)
 # Executable
 add_executable(goto-instrument goto_instrument_main.cpp)
 target_link_libraries(goto-instrument goto-instrument-lib)
+
+target_compile_definitions(goto-instrument-lib
+  PRIVATE "-DCBMC_VERSION=\"${CBMC_RELEASE} (${GIT_INFO})\""
+)

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=\"${CBMC_RELEASE} (${GIT_INFO})\""
+)