Frederic Cambus wrote:
> Hi ports@,
>
> Here is a diff to update z3 to 4.8.16.
>
> Some functions have been removed from the library, so a major bump
> is needed.
>
> Comments? OK?
ok op@
I somehow managed to boostrap F* with OCaml using the updated z3. It's
still half broken (not the parts
Hi ports@,
Here is a diff to update z3 to 4.8.16.
Some functions have been removed from the library, so a major bump
is needed.
Comments? OK?
Index: Makefile
===
RCS file: /cvs/ports/math/z3/Makefile,v
retrieving revision 1.25
On Wed Oct 16, 2019 at 02:59:32AM +, wen heping wrote:
> Hi,ports@:
>
>Here is a patch for math/z3 to update to 4.8.6.
>It build well and run well on amd64-current system.
>It defines NO_TEST and no other ports depend on it.
>
> Comments? OK?
> wen
OK rsadowski@
> Index:
Hi,ports@:
Here is a patch for math/z3 to update to 4.8.6.
It build well and run well on amd64-current system.
It defines NO_TEST and no other ports depend on it.
Comments? OK?
wen
Index: Makefile
===
RCS file:
This simple patch switches OpenMP off.
Question though: as given, Makefile does not require some python
packages (py-setuptools, py-pip) to run z3 under python.
Should that be fixed?
Index: Makefile
===
RCS file:
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 =
>
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
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
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?
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 - 1.13
+++
On Sat Jan 19, 2019 at 10:56:35AM +0100, Remi Pointel wrote:
> Hi,
>
> this is the diff to update z3 to latest release.
>
> Ok?
>
> Cheers,
>
> Remi.
Maybe it's a good idea to move to cmake as build system? Perhaps
consumers more happy with the cmake targets!?
RS
Index: Makefile
Hi,
this is the diff to update z3 to latest release.
Ok?
Cheers,
Remi.
Index: Makefile
===
RCS file: /cvs/ports/math/z3/Makefile,v
retrieving revision 1.10
diff -u -p -u -p -r1.10 Makefile
--- Makefile 15 Dec 2018 12:43:40 -
OK
În 14 decembrie 2018 15:02:35 EET, Remi Pointel a scris:
>Hi,
>
>this diff updates z3 to latest release.
>
>Ok?
>
>Cheers,
>
>Remi.
Hi,
this diff updates z3 to latest release.
Ok?
Cheers,
Remi.
Index: Makefile
===
RCS file: /cvs/ports/math/z3/Makefile,v
retrieving revision 1.9
diff -u -p -u -p -r1.9 Makefile
--- Makefile 24 Nov 2018 00:57:15 - 1.9
+++
Hi,
attached is a diff to update z3 to latest release.
Ok?
Cheers,
Remi.
Index: Makefile
===
RCS file: /cvs/ports/math/z3/Makefile,v
retrieving revision 1.5
diff -u -p -u -p -r1.5 Makefile
--- Makefile 10 Apr 2018 08:17:38 -
Le 10-04-2018 06:26, Matthew Martin a écrit :
Update z3; builds here with clang 6. Enable tests while here.
- Matthew Martin
Hi,
thanks it's commited.
Cheers,
Remi.
Update z3; builds here with clang 6. Enable tests while here.
- Matthew Martin
diff --git Makefile Makefile
index 6fe70abc40a..b32659d5940 100644
--- Makefile
+++ Makefile
@@ -2,9 +2,8 @@
COMMENT = z3 theorem prover
-VERSION = 4.5.0
+VERSION = 4.6.0
DISTNAME =
17 matches
Mail list logo