From 410c0280b73b8f81e4baf562da8bcfe312830dd3 Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Wed, 4 Jan 2023 03:29:29 -0800 Subject: [PATCH] lang/maude: CVC4 is broken because project doesn't yet support CVC5 --- lang/maude/Makefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/lang/maude/Makefile b/lang/maude/Makefile index 58bc06affeef..a05a91930a8b 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -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