git: 359167a29872 - main - math/cvc5: Fix tests
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 27 Mar 2023 18:26:01 UTC
The branch main has been updated by yuri:
URL: https://cgit.FreeBSD.org/ports/commit/?id=359167a298721dff5bc99fc9bcae00d7819b50f6
commit 359167a298721dff5bc99fc9bcae00d7819b50f6
Author: Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-03-27 15:02:03 +0000
Commit: Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-03-27 18:25:49 +0000
math/cvc5: Fix tests
---
math/cvc5/Makefile | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index f9fc98a3b875..81b70e6a00e5 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -35,7 +35,9 @@ CMAKE_ARGS+= -DANTLR_BINARY=${WRKDIR}/antlr3 \
-DPython_EXECUTABLE:STRING=${PYTHON_CMD}
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 # 2 tests fail, see https://github.com/cvc5/cvc5/issues/9569
+CMAKE_TESTING_ON= ENABLE_UNIT_TESTING
+CMAKE_TESTING_TARGET= check # check target runs only quick tests (based on https://github.com/cvc5/cvc5/issues/9569#issuecomment-1484943348)
+#CMAKE_TESTING_TARGET= test # test target also runs longer tests, 2 of which fail, see https://github.com/cvc5/cvc5/issues/9569
OPTIONS_DEFINE= COCOALIB EDITLINE JAVA
OPTIONS_GROUP= SOLVERS