svn commit: r508264 - in head: lang/maude lang/solidity math/cvc4
Fernando Apesteguía
fernape at FreeBSD.org
Tue Aug 6 17:36:38 UTC 2019
Author: fernape
Date: Tue Aug 6 17:36:36 2019
New Revision: 508264
URL: https://svnweb.freebsd.org/changeset/ports/508264
Log:
math/cvc4: simplify post-patch
* Bump PORTREVISION
* Unbreak lang/maude and lang/solidity (broken in r508058 and r508059)
Reported by: jbeich@
Reviewed by: jbeich@
Differential Revision: https://reviews.freebsd.org/D21170
Modified:
head/lang/maude/Makefile
head/lang/solidity/Makefile
head/math/cvc4/Makefile
Modified: head/lang/maude/Makefile
==============================================================================
--- head/lang/maude/Makefile Tue Aug 6 17:25:33 2019 (r508263)
+++ head/lang/maude/Makefile Tue Aug 6 17:36:36 2019 (r508264)
@@ -13,8 +13,6 @@ COMMENT= High-performance reflective language
LICENSE= GPLv2
LICENSE_FILE= ${WRKSRC}/COPYING
-BROKEN= 'cvc4_public.h' file not found
-
BUILD_DEPENDS= ${LOCALBASE}/bin/flex:textproc/flex
LIB_DEPENDS= libbdd.so:science/buddy \
libtecla.so:devel/libtecla \
Modified: head/lang/solidity/Makefile
==============================================================================
--- head/lang/solidity/Makefile Tue Aug 6 17:25:33 2019 (r508263)
+++ head/lang/solidity/Makefile Tue Aug 6 17:36:36 2019 (r508264)
@@ -13,8 +13,6 @@ COMMENT= Solidity Contract-Oriented Programming Langua
LICENSE= GPLv3
-BROKEN= 'cvc4_public.h' file not found
-
BUILD_DEPENDS= boost-libs>=0:devel/boost-libs
LIB_DEPENDS= libjsoncpp.so:devel/jsoncpp
Modified: head/math/cvc4/Makefile
==============================================================================
--- head/math/cvc4/Makefile Tue Aug 6 17:25:33 2019 (r508263)
+++ head/math/cvc4/Makefile Tue Aug 6 17:36:36 2019 (r508264)
@@ -2,6 +2,7 @@
PORTNAME= cvc4
DISTVERSION= 1.7
+PORTREVISION= 1
CATEGORIES= math java
MASTER_SITES+= http://www.antlr3.org/download/:antlr3
DISTFILES+= antlr-3.4-complete.jar:antlr3
@@ -87,9 +88,8 @@ post-extract:
@${CHMOD} +x ${WRKDIR}/antlr3
post-patch:
- @${REINPLACE_CMD} -e "s|sed -i 's|sed -i.bak 's|g" \
+ @${REINPLACE_CMD} -e "s|sed -i 's|sed -i '' '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:
More information about the svn-ports-all
mailing list