Date: Wed, 5 Oct 2022 16:34:12 GMT From: Daniel Engberg <diizzy@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: f3ed7c9f94da - main - math/cvc4: Mark BROKEN, doesn't build Message-ID: <202210051634.295GYC9r053407@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by diizzy: URL: https://cgit.FreeBSD.org/ports/commit/?id=f3ed7c9f94dacceb527517733d31661743fc360d commit f3ed7c9f94dacceb527517733d31661743fc360d Author: Daniel Engberg <diizzy@FreeBSD.org> AuthorDate: 2022-10-05 10:07:15 +0000 Commit: Daniel Engberg <diizzy@FreeBSD.org> CommitDate: 2022-10-05 16:33:04 +0000 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 --- math/cvc4/Makefile | 2 ++ 1 file changed, 2 insertions(+) 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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202210051634.295GYC9r053407>