diff options
author | Daniel Engberg <diizzy@FreeBSD.org> | 2022-10-05 10:07:15 +0000 |
---|---|---|
committer | Daniel Engberg <diizzy@FreeBSD.org> | 2022-10-05 16:33:04 +0000 |
commit | f3ed7c9f94dacceb527517733d31661743fc360d (patch) | |
tree | 9370ea6e95be96637376c4a65dee6379a9ae5bf4 | |
parent | a9f7f114e5cc57963a1ae45720a5ade66aad1598 (diff) | |
download | ports-f3ed7c9f94dacceb527517733d31661743fc360d.tar.gz ports-f3ed7c9f94dacceb527517733d31661743fc360d.zip |
math/cvc4: Mark BROKEN, doesn't build
Fails with src/expr/expr_template.h:0: error: undefined replacement ${getConst_instantiations}
on multiple platforms
PR: 266721
Reported by: pkg-fallout
-rw-r--r-- | math/cvc4/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/math/cvc4/Makefile b/math/cvc4/Makefile index 0e1a4ddfe07a..d556426dc339 100644 --- a/math/cvc4/Makefile +++ b/math/cvc4/Makefile @@ -16,6 +16,8 @@ WWW= https://cvc4.cs.stanford.edu/web/ LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/COPYING +BROKEN= Doesn't build, src/expr/expr_template.h:0: error: undefined replacement ${getConst_instantiations} + BUILD_DEPENDS= bash:shells/bash LIB_DEPENDS= libantlr3c.so:devel/libantlr3c \ libboost_system.so:devel/boost-libs |