Date: Sun, 4 Aug 2019 05:42:35 +0000 (UTC) From: Antoine Brodin <antoine@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r508059 - head/lang/solidity Message-ID: <201908040542.x745gZcn002555@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201908040542.x745gZcn002555>