commit: ed2b5f92f64513fda4dacb3e13d98f18ac9fda13 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Fri Apr 11 18:29:06 2025 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Fri Apr 11 18:29:45 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ed2b5f92
sci-mathematics/cvc4: cmake now requires 3.5 Closes: https://bugs.gentoo.org/953543 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> sci-mathematics/cvc4/cvc4-1.8-r5.ebuild | 2 +- sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch | 6 ++++++ 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild index e74e6dee4e06..1c55641ca322 100644 --- a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild @@ -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() { diff --git a/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch b/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch index 64cf5bd771b2..d80185457744 100644 --- a/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch +++ b/sci-mathematics/cvc4/files/cvc4-1.8-gentoo.patch @@ -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 @@ #-----------------------------------------------------------------------------#
