mirror of
https://anongit.gentoo.org/git/repo/gentoo.git
synced 2025-06-10 07:04:13 +02:00
11 lines
316 B
Diff
11 lines
316 B
Diff
--- a/CMakeLists.txt
|
|
+++ b/CMakeLists.txt
|
|
@@ -5,7 +5,7 @@
|
|
# This file is part of Boolector.
|
|
# See COPYING for more information on using this software.
|
|
#
|
|
-cmake_minimum_required(VERSION 3.3)
|
|
+cmake_minimum_required(VERSION 3.20)
|
|
|
|
#-----------------------------------------------------------------------------#
|
|
|