Bump cmake version to 3.8

thomasspriggs · thomasspriggs · commit 7f86707c5bfc · 2022-10-04T14:50:03.000+01:00
Because this is the minimum cmake version which supports a value of `17`
for `CXX_STANDARD`. This enables moving the C++ standard version we use
for compiling cbmc to C++17 based on setting this setting rather than
setting compiler flags.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -1,4 +1,4 @@
-cmake_minimum_required(VERSION 3.2)
+cmake_minimum_required(VERSION 3.8)
 
 # Compile with /usr/bin/clang on MacOS
 # See https://github.com/diffblue/cbmc/issues/4956

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-cmake_minimum_required(VERSION 3.2)`
	`1`	`+cmake_minimum_required(VERSION 3.8)`
`2`	`2`
`3`	`3`	`# Compile with /usr/bin/clang on MacOS`
`4`	`4`	`# See https://github.com/diffblue/cbmc/issues/4956`