D21170.id.diff
No OneTemporary
Actions

Size

1 KB

Referenced Files

None

Subscribers

None

D21170.id.diff
View Options

	Index: head/lang/maude/Makefile
	===================================================================
	--- head/lang/maude/Makefile
	+++ head/lang/maude/Makefile
	@@ -13,8 +13,6 @@
	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 \
	Index: head/lang/solidity/Makefile
	===================================================================
	--- head/lang/solidity/Makefile
	+++ head/lang/solidity/Makefile
	@@ -13,8 +13,6 @@

	LICENSE= GPLv3

	-BROKEN= 'cvc4_public.h' file not found
	-
	BUILD_DEPENDS= boost-libs>=0:devel/boost-libs
	LIB_DEPENDS= libjsoncpp.so:devel/jsoncpp

	Index: head/math/cvc4/Makefile
	===================================================================
	--- head/math/cvc4/Makefile
	+++ head/math/cvc4/Makefile
	@@ -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 @@
	@${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: