From 55767b9620f18763b7b56ecefa954202d35fe2d3 Mon Sep 17 00:00:00 2001 From: "Andrew V. Jones" Date: Tue, 7 Jul 2020 18:06:09 +0100 Subject: [PATCH] Increase the minimum version of CMake due to the use of 'APPEND' with strings (#4702) Signed-off-by: Andrew V. Jones --- CMakeLists.txt | 2 +- examples/CMakeLists.txt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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) -- 2.30.2