lang/maude: CVC4 is broken because project doesn't yet support CVC5

This commit is contained in:
Yuri Victorovich 2023-01-04 03:29:29 -08:00
parent faf8043d89
commit 410c0280b7

View file

@ -1,6 +1,6 @@
PORTNAME= maude
PORTVERSION= 2.7.1
PORTREVISION= 1
PORTREVISION= 2
CATEGORIES= lang
MASTER_SITES= http://maude.cs.illinois.edu/w/images/d/d8/
DISTNAME= Maude-${PORTVERSION}
@ -29,12 +29,13 @@ MAKE_JOBS_UNSAFE= yes
OPTIONS_SUB= yes
OPTIONS_DEFINE= DOCS FULL_MAUDE CVC4
OPTIONS_DEFAULT= FULL_MAUDE CVC4
OPTIONS_DEFAULT= FULL_MAUDE #CVC4
FULL_MAUDE_DESC= Install full-maude
CVC4_DESC= Enable SMT support via CVC4
CVC4_LIB_DEPENDS= libcvc4.so:math/cvc4
CVC4_LIB_DEPENDS= libcvc5.so:math/cvc5
CVC4_CONFIGURE_WITH= cvc4
CVC4_BROKEN= maude uses cvc4 which has been succeeded by cvc5
PORTDOCS= AUTHORS COPYING ChangeLog INSTALL NEWS README