CMake: set project name with version

tautschnig · tautschnig · commit 12fdeb1d5bc4 · 2023-03-06T14:49:20.000Z
Consistently include version information when invoking CMake's
`project`.
diff --git a/jbmc/src/CMakeLists.txt b/jbmc/src/CMakeLists.txt
@@ -1,4 +1,4 @@
-project(JBMC)
+project(JBMC VERSION ${CBMC_VERSION})
 
 #   Set the public include locations for a target.
 macro(generic_includes name)
diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -1,4 +1,4 @@
-project(CBMC)
+project(CBMC VERSION ${CBMC_VERSION})
 
 find_package(BISON REQUIRED)
 find_package(FLEX REQUIRED)

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-project(JBMC)`
	`1`	`+project(JBMC VERSION ${CBMC_VERSION})`
`2`	`2`
`3`	`3`	`# Set the public include locations for a target.`
`4`	`4`	`macro(generic_includes name)`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-project(CBMC)`
	`1`	`+project(CBMC VERSION ${CBMC_VERSION})`
`2`	`2`
`3`	`3`	`find_package(BISON REQUIRED)`
`4`	`4`	`find_package(FLEX REQUIRED)`