The GH_* stuff in this is broken. If GH_ACCOUNT and GH_PROJECT are
present there should always be GH_TAGNAME or GH_COMMIT.
Exactly, attached is the diff using GH_TAGNAME.
I need to set DISTNAME because by default "DISTNAME =
${GH_PROJECT}-${GH_TAGNAME:C/^v//}" and PKGNAME because the upper Z of
the tag of this release.
Ok?
Cheers,
Remi.
Index: Makefile
===================================================================
RCS file: /cvs/ports/math/z3/Makefile,v
retrieving revision 1.14
diff -u -p -u -p -r1.14 Makefile
--- Makefile 5 Jun 2019 05:44:54 -0000 1.14
+++ Makefile 5 Jun 2019 13:58:28 -0000
@@ -3,11 +3,13 @@
COMMENT = Z3 theorem prover
VERSION = 4.8.5
-DISTNAME = Z3-${VERSION}
-PKGNAME = ${DISTNAME:L}
GH_ACCOUNT = Z3Prover
GH_PROJECT = z3
+GH_TAGNAME = ${GH_PROJECT:U}-${VERSION}
+
+DISTNAME = ${GH_TAGNAME}
+PKGNAME = ${DISTNAME:L}
SHARED_LIBS = z3 2.0 # 4.8
