Date: Sat, 21 Feb 2026 08:06:12 +0000 From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: e14de79936da - main - math/z3: Enable testing Message-ID: <69996774.44aab.3bf8df30@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=e14de79936daeea7931a14a1b214233f3b6f9a84 commit e14de79936daeea7931a14a1b214233f3b6f9a84 Author: Gleb Popov <arrowd@FreeBSD.org> AuthorDate: 2026-02-21 08:05:51 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2026-02-21 08:06:07 +0000 math/z3: Enable testing --- math/z3/Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/math/z3/Makefile b/math/z3/Makefile index 5365506065d4..269b84589195 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -12,10 +12,11 @@ WWW= https://z3prover.github.io/ \ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt -USES= cmake compiler:c++20-lang localbase:ldflags +USES= cmake:testing compiler:c++20-lang localbase:ldflags CMAKE_ARGS= -DCMAKE_INSTALL_PKGCONFIGDIR=${PREFIX}/libdata/pkgconfig CMAKE_OFF= Z3_ENABLE_EXAMPLE_TARGETS +CMAKE_TESTING_TARGET= test-z3 WRKSRC_SUBDIR= core @@ -27,4 +28,7 @@ OPTIONS_SUB= yes GMP_LIB_DEPENDS= libgmp.so:math/gmp GMP_CMAKE_BOOL= Z3_USE_LIB_GMP +post-test: + cd ${BUILD_WRKSRC} && ./test-z3 /a + .include <bsd.port.mk>home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?69996774.44aab.3bf8df30>