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)
