gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/cvc4: cmake now requires 3.5

Browse Source 
Closes: https://bugs.gentoo.org/953543
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2025-04-11 20:29:06 +02:00
parent 34ed0e2fb9
commit ed2b5f92f6
2 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
View File

@@ -68,7 +68,7 @@ src_configure() {
-e "s|lo = NULL|lo = 0|g" \
-e "s|hi = NULL|hi = 0|g" \
"${BUILD_DIR}"/src/parser/cvc/CvcParser.c \
die
|| die
}
src_test() {

6
sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch
View File

@@ -1,5 +1,11 @@
--- a/CMakeLists.txt 2019-07-09 14:47:12.552425226 +0200
+++ b/CMakeLists.txt 2019-07-09 14:50:02.595001358 +0200
@@ -1,4 +1,4 @@
-cmake_minimum_required(VERSION 3.2)
+cmake_minimum_required(VERSION 3.5)
#-----------------------------------------------------------------------------#
# Project configuration
@@ -83,7 +83,7 @@
#-----------------------------------------------------------------------------#