Require minimal version of CMake 3.16 for KLEE

This is the default version for Ubuntu 20.04 and should be available for most distributions. Moreover this should allow to move STP forward with their changes. (stp/stp#375 (comment))
ccadar · Oct 19, 2023 · 6e3da18 · 6e3da18
1 parent ec3e01f
commit 6e3da18
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -10,7 +10,7 @@
 ###############################################################################
 # Minimum CMake version and policies
 ###############################################################################
-cmake_minimum_required(VERSION 3.9.0)
+cmake_minimum_required(VERSION 3.16.0)
 project(KLEE CXX C)
 
 ###############################################################################