[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/

["Alfredo Tupone" <tupone@gentoo.org>]

commit:     ae12690844146728289a3d499fa104e40fea6a5e
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 22 08:18:26 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Sep 22 08:19:13 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ae126908

sci-mathematics/cvc4: fix build on musl

Closes: https://bugs.gentoo.org/934053
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 sci-mathematics/cvc4/cvc4-1.8-r5.ebuild | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
index 4870f7af7ba6..9bab754168e0 100644
--- a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
@@ -57,6 +57,17 @@ src_configure() {
 		-DENABLE_PROOFS="$(usex proofs ON OFF)"
 	)
 	cmake_src_configure
+	# Bug #934053 - build with musl
+	antlr3 "${S}"/src/parser/cvc/Cvc.g -fo "${BUILD_DIR}"/src/parser/cvc || die
+	sed -i \
+		-e "s|k = NULL|k = 0|g" \
+		-e "s|n = NULL|n = 0|g" \
+		-e "s|k1 = NULL|k1 = 0|g" \
+		-e "s|k2 = NULL|k2 = 0|g" \
+		-e "s|lo = NULL|lo = 0|g" \
+		-e "s|hi = NULL|hi = 0|g" \
+		"${BUILD_DIR}"/src/parser/cvc/CvcParser.c \
+		die
 }
 
 src_test() {