git: f3ed7c9f94da - main - math/cvc4: Mark BROKEN, doesn't build

From: Daniel Engberg <diizzy_at_FreeBSD.org>
Date: Wed, 05 Oct 2022 16:34:12 UTC 
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