summaryrefslogtreecommitdiff
path: root/sci-mathematics/opensmt/files/opensmt-2.7.0-cmake_minimum.patch
blob: 9a8a34ccd8b8732bbb36c7ac3f2802f191a36a4b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -1,4 +1,4 @@
-cmake_minimum_required(VERSION 3.3)
+cmake_minimum_required(VERSION 3.20)
 
 if (POLICY CMP0074) # Policy 0074 has been introduced in CMake 3.12, so we need a check, otherwise older version would give an error
 cmake_policy(SET CMP0074 NEW)
--- a/examples/CMakeLists.txt
+++ b/examples/CMakeLists.txt
@@ -1,4 +1,4 @@
-cmake_minimum_required(VERSION 3.3)
+cmake_minimum_required(VERSION 3.20)
 project(opensmt-examples)
 
 set(CMAKE_CXX_STANDARD 17)