git: 410c0280b73b - main - lang/maude: CVC4 is broken because project doesn't yet support CVC5
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 04 Jan 2023 11:50:58 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=410c0280b73b8f81e4baf562da8bcfe312830dd3
commit 410c0280b73b8f81e4baf562da8bcfe312830dd3
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-01-04 11:29:29 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-01-04 11:50:53 +0000
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