commit: bd3199220bbb7260fb5eec1e046bb4023ac4eabf Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Fri Apr 18 11:39:32 2025 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Fri Apr 18 15:24:12 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bd319922
sci-mathematics/boolector: bump cmake_minimum_required Closes: https://bugs.gentoo.org/953950 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/boolector/boolector-3.2.4.ebuild | 7 +++++-- .../files/boolector-3.2.4-cmake_minimum_required.patch | 11 +++++++++++ 2 files changed, 16 insertions(+), 2 deletions(-) diff --git a/sci-mathematics/boolector/boolector-3.2.4.ebuild b/sci-mathematics/boolector/boolector-3.2.4.ebuild index 2a1d832b43c3..e8d430b07a39 100644 --- a/sci-mathematics/boolector/boolector-3.2.4.ebuild +++ b/sci-mathematics/boolector/boolector-3.2.4.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -46,7 +46,10 @@ BDEPEND=" test? ( dev-cpp/gtest ) " -PATCHES=( "${FILESDIR}/${PN}-3.2.3-cmake-std.patch" ) +PATCHES=( + "${FILESDIR}/boolector-3.2.3-cmake-std.patch" + "${FILESDIR}/boolector-3.2.4-cmake_minimum_required.patch" +) pkg_setup() { use python && python-single-r1_pkg_setup diff --git a/sci-mathematics/boolector/files/boolector-3.2.4-cmake_minimum_required.patch b/sci-mathematics/boolector/files/boolector-3.2.4-cmake_minimum_required.patch new file mode 100644 index 000000000000..096aeadfbc2a --- /dev/null +++ b/sci-mathematics/boolector/files/boolector-3.2.4-cmake_minimum_required.patch @@ -0,0 +1,11 @@ +--- 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) + + #-----------------------------------------------------------------------------# +
