FreeBSD/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2026-06-02 11:08:52 +00:00
Code Issues Projects Releases Wiki Activity

math/z3: Enable testing

Browse Source
This commit is contained in:
Gleb Popov
2026-02-21 11:05:51 +03:00
parent a4f5f1ac86
commit e14de79936
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
math/z3/Makefile
+5 -1
View File
@@ -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>