On 2019/06/04 14:45, Remi Pointel wrote:
> Hi,
>
> this diff updates z3 to latest release.
>
> Ok?
>
> Cheers,
>
> Remi.
> Index: Makefile
> ===================================================================
> RCS file: /cvs/ports/math/z3/Makefile,v
> retrieving revision 1.13
> diff -u -p -u -p -r1.13 Makefile
> --- Makefile 28 Apr 2019 20:51:42 -0000 1.13
> +++ Makefile 4 Jun 2019 12:45:10 -0000
> @@ -2,14 +2,14 @@
>
> COMMENT = Z3 theorem prover
>
> -VERSION = 4.8.4
> -DISTNAME = z3-${VERSION}
> -REVISION = 1
> +VERSION = 4.8.5
> +DISTNAME = Z3-${VERSION}
> +PKGNAME = ${DISTNAME:L}
>
> GH_ACCOUNT = Z3Prover
> GH_PROJECT = z3
The GH_* stuff in this is broken. If GH_ACCOUNT and GH_PROJECT are
present there should always be GH_TAGNAME or GH_COMMIT.
