K 10
svn:author
V 7
antoine
K 8
svn:date
V 27
2019-08-04T05:42:35.623551Z
K 7
svn:log
V 464
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

END