gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-01-06 02:17:34 -08:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/btor2tools: bump cmake_minimum_required

Browse Source 
Closes: https://bugs.gentoo.org/951681
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć 2025-03-20 21:12:58 +01:00
parent 62bfbb438c
commit a1744f6171
No known key found for this signature in database
GPG Key ID: 031C9FE65BED714A
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
sci-mathematics/btor2tools/btor2tools-1.0.0_pre20220518-r1.ebuild
View File

@ -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() {

5
sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-cmake_minimum.patch Normal file
View File

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