On 2019/06/05 16:10, Remi Pointel wrote: > > 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 > Thanks, OK.