Date: Mon, 5 Aug 2019 16:59:26 +0000 (UTC) From: =?UTF-8?Q?Fernando_Apestegu=c3=ada?= <fernape@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r508195 - head/math/cvc4 Message-ID: <201908051659.x75GxQvT068722@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: fernape Date: Mon Aug 5 16:59:25 2019 New Revision: 508195 URL: https://svnweb.freebsd.org/changeset/ports/508195 Log: math/cvc4: Fix headers Fix headers so other programs can include them safely. This unbreaks lang/maude and lang/solidity PR: 238376 Reported by: jbeich@ Modified: head/math/cvc4/Makefile Modified: head/math/cvc4/Makefile ============================================================================== --- head/math/cvc4/Makefile Mon Aug 5 16:33:36 2019 (r508194) +++ head/math/cvc4/Makefile Mon Aug 5 16:59:25 2019 (r508195) @@ -86,6 +86,11 @@ post-extract: @${ECHO_CMD} "JAVA_VERSION=1.7+ exec \"${LOCALBASE}/bin/java\" -classpath \"${WRKDIR}/antlr3.jar\" org.antlr.Tool \"\$$@\"" >> ${WRKDIR}/antlr3 @${CHMOD} +x ${WRKDIR}/antlr3 +post-patch: + @${REINPLACE_CMD} -e "s|sed -i 's|sed -i.bak 's|g" \ + ${WRKSRC}/src/fix-install-headers.sh + @${FIND} ${WRKSRC} -name '*.bak' -delete + # make a relative symlink instead of absolute to build dir post-install-JAVA-on: @${LN} -sf CVC4-1.7.0.jar ${STAGEDIR}${PREFIX}/share/java/cvc4/CVC4.jar
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201908051659.x75GxQvT068722>