Re: [UPDATE] math/z3

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.