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 /math | |
| parent | fa45a01b988c769c47723d79f097e3018c1e738c (diff) | |
| download | ports-c521b699fa4853e890e8b8af27e5fecbb29d7fbf.tar.gz ports-c521b699fa4853e890e8b8af27e5fecbb29d7fbf.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
Notes
Notes:
svn path=/head/; revision=508059
Diffstat (limited to 'math')
0 files changed, 0 insertions, 0 deletions