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

lang/maude/Makefile

@@ -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 \

lang/solidity/Makefile

@@ -13,8 +13,6 @@ COMMENT=	Solidity Contract-Oriented Programming Language
 
 LICENSE=	GPLv3
 
-BROKEN=		'cvc4_public.h' file not found
-
 BUILD_DEPENDS=	boost-libs>=0:devel/boost-libs
 LIB_DEPENDS=	libjsoncpp.so:devel/jsoncpp
 

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 @@ 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: