From: Andrew V. Jones <andrew.jones@vector.com>
Date: Tue, 7 Jul 2020 17:06:09 +0000 (+0100)
Subject: Increase the minimum version of CMake due to the use of 'APPEND' with strings (#4702)
X-Git-Tag: cvc5-1.0.0~3146
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=55767b9620f18763b7b56ecefa954202d35fe2d3;p=cvc5.git

Increase the minimum version of CMake due to the use of 'APPEND' with strings (#4702)

Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
---

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 688a7c1ea..3614f8dd7 100644
--- 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 cd74698d7..dde43d825 100644
--- 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)