diff options
| author | antoine <antoine@FreeBSD.org> | 2019-08-04 13:42:35 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2019-08-04 13:42:35 +0800 |
| commit | 8abaf808ab4c16fbfa205311c3f4f1b9f61e77cf (patch) | |
| tree | 32eac68553825c92cab7f6c9352122759413935d /lang | |
| parent | 9da7ddf87f682d7e2af4a0ac6d106bdb52d3bd1b (diff) | |
| download | freebsd-ports-gnome-8abaf808ab4c16fbfa205311c3f4f1b9f61e77cf.tar.gz freebsd-ports-gnome-8abaf808ab4c16fbfa205311c3f4f1b9f61e77cf.tar.zst freebsd-ports-gnome-8abaf808ab4c16fbfa205311c3f4f1b9f61e77cf.zip | |
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
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/solidity/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lang/solidity/Makefile b/lang/solidity/Makefile index 030024c61751..229fa2ba0e47 100644 --- a/lang/solidity/Makefile +++ b/lang/solidity/Makefile @@ -13,6 +13,8 @@ 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 |