From 3a0e434dc9d4053d75e9c0bbe6faa6dfb46717ae Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Wed, 22 Mar 2023 10:37:11 +0000 Subject: 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. (https://github.com/stp/stp/issues/375#issuecomment-889178863) --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'CMakeLists.txt') diff --git a/CMakeLists.txt b/CMakeLists.txt index 59c6094a..54be2d3d 100644 --- 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) ############################################################################### -- cgit 1.4.1