Tue May 16 19:23:06 2023 UTC ()
py-z3: not for Python 2


(wiz)
diff -r1.5 -r1.6 pkgsrc/math/py-z3/Makefile
cvs diff -r1.5 -r1.6 pkgsrc/math/py-z3/Makefile (expand / switch to unified diff)

--- pkgsrc/math/py-z3/Makefile 2023/05/11 06:43:43 1.5
+++ pkgsrc/math/py-z3/Makefile 2023/05/16 19:23:05 1.6
@@ -1,14 +1,16 @@ @@ -1,14 +1,16 @@
1# $NetBSD: Makefile,v 1.5 2023/05/11 06:43:43 adam Exp $ 1# $NetBSD: Makefile,v 1.6 2023/05/16 19:23:05 wiz Exp $
 2
 3PYTHON_VERSIONS_INCOMPATIBLE= 27
2 4
3.include "../../math/z3/Makefile.common" 5.include "../../math/z3/Makefile.common"
4 6
5PKGNAME= ${PYPKGPREFIX}-${DISTNAME} 7PKGNAME= ${PYPKGPREFIX}-${DISTNAME}
6COMMENT= Efficient SMT solver library 8COMMENT= Efficient SMT solver library
7 9
8USE_TOOLS+= cmake ninja 10USE_TOOLS+= cmake ninja
9PYSETUPSUBDIR= src/api/python 11PYSETUPSUBDIR= src/api/python
10EGG_NAME= ${DISTNAME:S/z3/z3_solver/}.0 12EGG_NAME= ${DISTNAME:S/z3/z3_solver/}.0
11 13
12.include "../../mk/bsd.prefs.mk" 14.include "../../mk/bsd.prefs.mk"
13 15
14post-install: 16post-install: