From bd3199220bbb7260fb5eec1e046bb4023ac4eabf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciej=20Bar=C4=87?= Date: Fri, 18 Apr 2025 13:39:32 +0200 Subject: [PATCH] sci-mathematics/boolector: bump cmake_minimum_required MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Closes: https://bugs.gentoo.org/953950 Signed-off-by: Maciej Barć --- sci-mathematics/boolector/boolector-3.2.4.ebuild | 7 +++++-- .../boolector-3.2.4-cmake_minimum_required.patch | 11 +++++++++++ 2 files changed, 16 insertions(+), 2 deletions(-) create mode 100644 sci-mathematics/boolector/files/boolector-3.2.4-cmake_minimum_required.patch diff --git a/sci-mathematics/boolector/boolector-3.2.4.ebuild b/sci-mathematics/boolector/boolector-3.2.4.ebuild index 2a1d832b43c33..e8d430b07a399 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 0000000000000..096aeadfbc2a7 --- /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) + + #-----------------------------------------------------------------------------# +