Merge pull request #5458 from hannes-steffenhagen-diffblue/set-cmake-project-version

Set CMake project version based on config.inc

Author: hannes-steffenhagen-diffblue

CMakeLists.txt

@@ -1,6 +1,20 @@
 cmake_minimum_required(VERSION 3.2)
 
-project(CBMC)
+
+# Grab the current CBMC version from config.inc
+# We do this so we have a matching cbmc version between the Makefile build and
+# the CMake build. This version info is useful for things like generating
+# packages (which usually need to contain version info in their metadata and
+# filenames)
+file(
+  STRINGS src/config.inc CBMC_VERSION
+  REGEX "CBMC_VERSION = (.*)")
+string(REGEX REPLACE "CBMC_VERSION = (.*)" "\\1" CBMC_VERSION ${CBMC_VERSION})
+
+project(CBMC VERSION ${CBMC_VERSION})
+
+# when config.inc changes we’ll need to reconfigure to check if the version changed
+set_property(DIRECTORY APPEND PROPERTY CMAKE_CONFIGURE_DEPENDS "${CMAKE_CURRENT_SOURCE_DIR}/src/config.inc")
 
 find_program(CCACHE_PROGRAM ccache)
 if(CCACHE_PROGRAM)