Merge pull request #7184 from thomasspriggs/tas/bump_cmake

thomasspriggs · web-flow · commit af8e92462c5e · 2022-10-04T17:17:34.000+01:00
Bump cmake version to 3.8
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`