svn commit: r508059 - head/lang/solidity

[Antoine Brodin]

Author: antoine
Date: Sun Aug  4 05:42:35 2019
New Revision: 508059
URL: https://svnweb.freebsd.org/changeset/ports/508059

Log:
  Mark BROKEN: fails to build
  
  In file included from /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/formal/SMTPortfolio.cpp:24:
  In file included from /wrkdirs/usr/ports/lang/solidity/work/solidity_0.5.10/libsolidity/formal/CVC4Interface.h:30:
  In file included from /usr/local/include/cvc4/cvc4.h:21:
  /usr/local/include/cvc4/base/configuration.h:19:10: fatal error: 'cvc4_public.h' file not found
  #include "cvc4_public.h"
  
  Reported by:	pkg-fallout

Modified:
  head/lang/solidity/Makefile

Modified: head/lang/solidity/Makefile
==============================================================================
--- head/lang/solidity/Makefile	Sun Aug  4 05:39:36 2019	(r508058)
+++ head/lang/solidity/Makefile	Sun Aug  4 05:42:35 2019	(r508059)
@@ -13,6 +13,8 @@ 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