diff options
| author | Antoine Brodin <antoine@FreeBSD.org> | 2019-08-04 05:42:35 +0000 |
|---|---|---|
| committer | Antoine Brodin <antoine@FreeBSD.org> | 2019-08-04 05:42:35 +0000 |
| commit | c521b699fa4853e890e8b8af27e5fecbb29d7fbf (patch) | |
| tree | 32eac68553825c92cab7f6c9352122759413935d /lang/solidity | |
| parent | Mark BROKEN: fails to build (diff) | |
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/solidity')
| -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 |