gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-05 14:07:27 -08:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/boolector: bump cmake_minimum_required

Browse Source 
Closes: https://bugs.gentoo.org/953950
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć 2025-04-18 13:39:32 +02:00
parent a068760067
commit bd3199220b
No known key found for this signature in database
GPG Key ID: 031C9FE65BED714A
2 changed files with 16 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
sci-mathematics/boolector/boolector-3.2.4.ebuild
View File

@ -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

11
sci-mathematics/boolector/files/boolector-3.2.4-cmake_minimum_required.patch Normal file
View File

@ -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)
#-----------------------------------------------------------------------------#