summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorwiz <wiz@pkgsrc.org>2018-12-23 12:27:34 +0000
committerwiz <wiz@pkgsrc.org>2018-12-23 12:27:34 +0000
commite0949916848f80ee2d5f679dea0c1c54a2fec3d3 (patch)
tree76c6fb73b4dcd83d75461a09e99be24b6a9ad2d7
parent07b654b8cb99783c5db64848337232cc16b8afbb (diff)
downloadpkgsrc-e0949916848f80ee2d5f679dea0c1c54a2fec3d3.tar.gz
py-z3: set GITHUB_PROJECT to fix fetch stage
-rw-r--r--math/py-z3/Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/math/py-z3/Makefile b/math/py-z3/Makefile
index edabca6cfcd..3e97865128f 100644
--- a/math/py-z3/Makefile
+++ b/math/py-z3/Makefile
@@ -1,8 +1,9 @@
-# $NetBSD: Makefile,v 1.1 2018/03/13 00:36:05 khorben Exp $
+# $NetBSD: Makefile,v 1.2 2018/12/23 12:27:34 wiz Exp $
.include "../../math/z3/Makefile.common"
PKGNAME= ${PYPKGPREFIX}-${DISTNAME}
+GITHUB_PROJECT= z3
COMMENT= Python bindings for the Z3 theorem prover / SMT solver