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))
MartinNowack · Mar 22, 2023 · 11c51b9 · 11c51b9
1 parent 36cb12f
commit 11c51b9
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)
 
 ###############################################################################