We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 6b73222 + 12fdeb1 commit de5f29cCopy full SHA for de5f29c
jbmc/src/CMakeLists.txt
@@ -1,4 +1,4 @@
1
-project(JBMC)
+project(JBMC VERSION ${CBMC_VERSION})
2
3
# Set the public include locations for a target.
4
macro(generic_includes name)
src/CMakeLists.txt
@@ -1,11 +1,3 @@
-file(STRINGS
- "${CMAKE_CURRENT_SOURCE_DIR}/config.inc"
- cbmc_version_string
- REGEX "CBMC_VERSION.*")
5
-
6
-string(REGEX REPLACE "CBMC_VERSION = (.*)" "\\1" CBMC_VERSION "${cbmc_version_string}")
7
-unset(cbmc_version_string)
8
9
project(CBMC VERSION ${CBMC_VERSION})
10
11
find_package(BISON REQUIRED)
0 commit comments