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