svn commit: r508195 - head/math/cvc4

[Fernando Apesteguía]

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