[UPDATE] math/z3

classic Classic list List threaded Threaded
5 messages Options
Reply | Threaded
Open this post in threaded view
|

[UPDATE] math/z3

Remi Pointel
Hi,

this diff updates z3 to latest release.

Ok?

Cheers,

Remi.

z3-4.8.5.diff (1K) Download Attachment
Reply | Threaded
Open this post in threaded view
|

Re: [UPDATE] math/z3

Klemens Nanni-2
On Tue, Jun 04, 2019 at 02:45:46PM +0200, Remi Pointel wrote:
> this diff updates z3 to latest release.
Brief summay of what changed or why you bumped the major?  Or a link?

Reply | Threaded
Open this post in threaded view
|

Re: [UPDATE] math/z3

Stuart Henderson
In reply to this post by Remi Pointel
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.


Reply | Threaded
Open this post in threaded view
|

Re: [UPDATE] math/z3

Remi Pointel
> 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.

z3-4.8.5.diff (575 bytes) Download Attachment
Reply | Threaded
Open this post in threaded view
|

Re: [UPDATE] math/z3

Stuart Henderson-6
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.