projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 9678f58)
Increase the minimum version of CMake due to the use of 'APPEND' with strings (#4702)
authorAndrew V. Jones <andrew.jones@vector.com>
Tue, 7 Jul 2020 17:06:09 +0000 (18:06 +0100)
committerGitHub <noreply@github.com>
Tue, 7 Jul 2020 17:06:09 +0000 (10:06 -0700)
Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
CMakeLists.txt patch | blob | history
examples/CMakeLists.txt patch | blob | history

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 688a7c1eacaf916af1b1d9049ec3459753ee8e84..3614f8dd7fb0cb75adc0b823b5ed2fe4f38a4c22 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,4 +1,4 @@
-cmake_minimum_required(VERSION 3.2)
+cmake_minimum_required(VERSION 3.4)
 
 #-----------------------------------------------------------------------------#
 # Project configuration
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt
index cd74698d70994e06e99c823d0f854b82dbc63efa..dde43d825ad8d506fc8f09940f39b4d57abdbdf0 100644 (file)
--- a/examples/CMakeLists.txt
+++ b/examples/CMakeLists.txt
@@ -1,4 +1,4 @@
-cmake_minimum_required(VERSION 3.2)
+cmake_minimum_required(VERSION 3.4)
 
 project(cvc4-examples)