[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/btor2tools/, sci-mathematics/btor2tools/files/

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/btor2tools/, sci-mathematics/btor2tools/files/

[Maciej Barć]

commit:     a1744f61712193ef861fb1dcbf3c9d039febe307
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Thu Mar 20 20:12:58 2025 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Thu Mar 20 22:02:51 2025 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a1744f61

sci-mathematics/btor2tools: bump cmake_minimum_required

Closes: https://bugs.gentoo.org/951681
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild    | 3 ++-
 .../files/btor2tools-1.0.0_pre20220518-cmake_minimum.patch           | 5 +++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild b/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
index c2cee9e4d4ea..1674f83d5e92 100644
--- a/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
+++ b/sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2025 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -29,6 +29,7 @@ IUSE="examples"
 PATCHES=(
 	"${FILESDIR}/${PN}-1.0.0_pre20220518-btorsplit-cstdint.patch"
 	"${FILESDIR}/${PN}-1.0.0_pre20220518-cmake-clfags.patch"
+	"${FILESDIR}/${PN}-1.0.0_pre20220518-cmake_minimum.patch"
 )
 
 src_install() {

diff --git a/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake_minimum.patch b/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake_minimum.patch
new file mode 100644
index 000000000000..7ced3e715c48
--- /dev/null
+++ b/sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake_minimum.patch
@@ -0,0 +1,5 @@
+--- a/CMakeLists.txt
++++ b/CMakeLists.txt
+@@ -1,1 +1,1 @@
+-cmake_minimum_required(VERSION 3.3)
++cmake_minimum_required(VERSION 3.20)