Enable debug packages.

2023-09-14 07:30:20 +00:00 · 2023-09-14 07:30:20 +00:00 · de87a0ac08
parent 2d68af09bd
commit de87a0ac08
1 changed files with 3 additions and 0 deletions
--- a/math/z3/Makefile
+++ b/math/z3/Makefile
@ -1,6 +1,7 @@
 COMMENT =	Z3 theorem prover

 VERSION =	4.12.2
+REVISION =	0

 GH_ACCOUNT =	Z3Prover
 GH_PROJECT =	z3
@ -30,6 +31,8 @@ CONFIGURE_ARGS +=	-DZ3_ENABLE_EXAMPLE_TARGETS=ON \
 			-DZ3_BUILD_PYTHON_BINDINGS=ON \
 			-DZ3_USE_LIB_GMP=OFF

+DEBUG_PACKAGES = ${BUILD_PACKAGES}
+
 WRKDIST =	${WRKDIR}/z3-${DISTNAME}

 NO_TEST =	Yes