Skip to content

Commit 12fdeb1

Browse files
committed
CMake: set project name with version
Consistently include version information when invoking CMake's `project`.
1 parent c5d0cfc commit 12fdeb1

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

jbmc/src/CMakeLists.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
project(JBMC)
1+
project(JBMC VERSION ${CBMC_VERSION})
22

33
# Set the public include locations for a target.
44
macro(generic_includes name)

src/CMakeLists.txt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
project(CBMC)
1+
project(CBMC VERSION ${CBMC_VERSION})
22

33
find_package(BISON REQUIRED)
44
find_package(FLEX REQUIRED)

0 commit comments

Comments
 (0)