Date: Wed, 4 Jan 2023 11:50:58 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 410c0280b73b - main - lang/maude: CVC4 is broken because project doesn't yet support CVC5 Message-ID: <202301041150.304BowBN055168@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202301041150.304BowBN055168>