Added version from config.inc to cmake project

Enrico Steffinlongo · Enrico Steffinlongo · commit b469c2674313 · 2023-02-28T18:27:10.000Z
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -1,4 +1,12 @@
-project(CBMC)
+file(STRINGS
+        "${CMAKE_CURRENT_SOURCE_DIR}/config.inc"
+        cbmc_version_string
+        REGEX "CBMC_VERSION.*")
+
+string(REGEX REPLACE "CBMC_VERSION = (.*)" "\\1" CBMC_VERSION "${cbmc_version_string}")
+unset(cbmc_version_string)
+
+project(CBMC VERSION ${CBMC_VERSION})
 
 find_package(BISON REQUIRED)
 find_package(FLEX REQUIRED)
