git: ca722003daac - main - math/cvc5: Correct options section
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Fri, 10 Feb 2023 09:43:23 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=ca722003daacc9cf18b1eccb22500099e4fcf26a
commit ca722003daacc9cf18b1eccb22500099e4fcf26a
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-02-10 04:46:05 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-02-10 09:42:14 +0000
math/cvc5: Correct options section
---
math/cvc5/Makefile | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index 2ad2c2e7086a..3fdf06868a85 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -1,6 +1,7 @@
PORTNAME= cvc5
DISTVERSIONPREFIX= cvc5-
DISTVERSION= 1.0.4
+PORTREVISION= 1
CATEGORIES= math java
MASTER_SITES+= http://www.antlr3.org/download/:antlr3
DISTFILES+= antlr-3.4-complete.jar:antlr3
@@ -37,12 +38,12 @@ CMAKE_ON= BUILD_SHARED_LIBS
CMAKE_OFF= BUILD_BINDINGS_PYTHON USE_PYTHON3 # Python binding should be a separate port
CMAKE_TESTING_ON= ENABLE_UNIT_TESTING
-OPTIONS_DEFINE= JAVA EDITLINE # COCOALIB
+OPTIONS_DEFINE= COCOALIB EDITLINE JAVA
OPTIONS_GROUP= SOLVERS
OPTIONS_GROUP_SOLVERS= CRYPTOMINISAT KISSAT
OPTIONS_RADIO= NUMLIB
OPTIONS_RADIO_NUMLIB= GMP CLN
-OPTIONS_DEFAULT= COCOALIB CRYPTOMINISAT JAVA EDITLINE GMP # KISSAT
+OPTIONS_DEFAULT= CRYPTOMINISAT EDITLINE JAVA GMP # COCOALIB KISSAT
OPTIONS_SUB= yes
COCOALIB_DESC= Use CoCoALib for further polynomial operations