From 8a9986b914e0507b549a5d3de5280c31237a0dba Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fernando=20Apestegu=C3=ADa?= <fernape@FreeBSD.org>
Date: Tue, 6 Aug 2019 17:36:36 +0000
Subject: 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/solidity/Makefile | 2 --
 1 file changed, 2 deletions(-)

(limited to 'lang/solidity')

diff --git a/lang/solidity/Makefile b/lang/solidity/Makefile
index 229fa2ba0e47..030024c61751 100644
--- a/lang/solidity/Makefile
+++ b/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
 
-- 
cgit v1.2.3