Added version from config.inc to cmake project

Author: Enrico Steffinlongo

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)