Skip site navigation (1)Skip section navigation (2)
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>