git: e14de79936da - main - math/z3: Enable testing
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sat, 21 Feb 2026 08:06:12 UTC
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>