Date: Mon, 27 Mar 2023 18:26:01 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: 359167a29872 - main - math/cvc5: Fix tests Message-ID: <202303271826.32RIQ1CE051191@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=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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202303271826.32RIQ1CE051191>