Commit graph

40 commits

Author SHA1 Message Date
Lorenz Leutgeb 7306864977
z3: Add output for Java bindings (*.jar and *.so) 2021-02-27 09:01:25 +01:00
Fabian Affolter 5247884859 z3: 4.8.9 -> 4.8.10 2021-02-09 12:07:38 +01:00
volth bc0d605cf1 treewide: fix double quoted strings in meta.description
Signed-off-by: Ben Siraphob <bensiraphob@gmail.com>
2021-01-24 19:56:59 +07:00
Ben Siraphob badf51221d treewide: stdenv.lib -> lib 2021-01-16 17:58:11 +07:00
Michael Raskin 3ed321dfab z3: enable build on non-x86_64 unix; checked the build on aarch64-linux 2020-11-27 11:52:07 +01:00
Patrick Hilhorst a6b3bb24e4
treewide: ran ./maintainers/scripts/update_redirected_urls.sh 2020-11-27 01:23:57 +01:00
Vladimír Čunát 336bc8283b
Re-Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2"
This reverts commit c778945806.

I believe this is exactly what brings the staging branch into
the right shape after the last merge from master (through staging-next);
otherwise part of staging changes would be lost
(due to being already reachable from master but reverted).
2020-10-26 08:19:17 +01:00
Jakub Kądziołka 8205e12a45
z3_4_4_0: add old version for Isabelle 2020-10-03 21:32:22 +02:00
Vincent Laporte cc739e1c67 ocamlPackages.z3: init at 4.8.9 2020-09-30 22:03:17 +02:00
Thomas Tuegel 87c7d1d4f8
z3: 4.8.8 -> 4.8.9 2020-09-11 14:38:43 -05:00
Thomas Tuegel 616dd214d1 z3: add ttuegel to maintainers 2020-08-21 19:05:55 -07:00
Thomas Tuegel 1f512d7804 z3: 4.8.7 -> 4.8.8 2020-08-21 19:05:55 -07:00
Lorenz Leutgeb d50a6db016
z3: Add Java Bindings (#92096)
Introduce new arguments to build Java Bindings, and to disable
building of Python bindings. Default behaviour is preserved.
2020-08-15 07:37:38 +02:00
Austin Seipp 367676ce82
z3: 4.8.5 -> 4.8.7
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-12-14 20:33:59 -06:00
Will Dietz e397f4716c z3: 4.8.4 -> 4.8.5
* drop included patch
* pname-ify
2019-06-10 17:55:26 -07:00
Samuel W. Flint 52a7c4e30e z3: Patch file to get rid of python error
See #55591, Z3Prover/z3#2131
2019-02-14 10:11:15 -06:00
Michael Raskin ebb370f680 z3-tptp: init
Z3 ships a TPTP-supporting wrapper as an example; allow building it
2019-01-22 16:51:18 +01:00
Austin Seipp 38aa0a3df4 z3: 4.8.3 -> 4.8.4
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-08 19:15:24 -06:00
Will Dietz a034d90e3b z3: 4.8.1 -> 4.8.3
https://github.com/Z3Prover/z3/releases/tag/z3-4.8.3
2018-11-27 22:00:19 -06:00
Jörg Thalheim abb0c81190
z3: restrict to x86_64
it uses x86-only header:

include <immintrin.h>
          ^~~~~~~~~~~~~
compilation terminated.
src/sat/sat_probing.cpp
make: *** [Makefile:182: util/mpz.o] Error 1
make: *** Waiting for unfinished jobs....
src/sat/sat_parallel.cpp
builder for '/nix/store/vd2wkhic8g77izxv659ackh6hcaamic3-z3-4.8.1.drv' failed with exit code 2
cannot build derivation '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv': 1 dependencies couldn't be built
error: build of '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv' failed
2018-11-15 21:25:53 +00:00
Will Dietz 51e511130a z3: 4.7.1 -> 4.8.1 2018-10-16 12:28:06 -05:00
Mario Rodas 1c88d0c6bd z3: fix darwin build (#43526) 2018-07-14 21:49:47 +02:00
Austin Seipp 54e9f7dcbe z3: move to multiple output packages
The Z3 source code is effectively compiled into two completely separate
objects: the z3 binary file, and the libz3.so library -- but the binary is not
linked against the shared library, it simply incorporates all of the object
files. The Z3 code base results in an ~25MB object on x86_64-linux. As a
result, splitting bin/ and lib/ results in a 50% reduction in closure size.

(The include/ directory is also surprisingly large at .5MB...)

This also splits the python API into a completely separate .python attribute,
as well.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-07-12 15:48:48 -05:00
Will Dietz edbebe7214 z3: 4.6.0 -> 4.7.1 2018-05-30 16:54:21 -05:00
Austin Seipp 86c5420a2e nixpkgs: remove z3 4.5.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-04-07 23:02:59 -05:00
Jörg Thalheim 6ec8fe0408 z3: also needs setuptools 2018-02-14 10:01:25 +00:00
Austin Seipp ebeb95d18b z3: 4.5.0-2017-11-06 -> 4.6.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-01-03 21:44:56 -06:00
John Wiegley 2e93f93b2a z3_4_5_0: New expression, to access the release version's API 2017-12-14 23:32:37 -08:00
Austin Seipp 063e4dca79 z3: update to latest git
This has some nice improvements, like new string and real arithmetic solvers.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-09 13:20:01 -06:00
Matthew Bauer 99c868c010 use https://github.com for all homepages
GitHub does a redirect to https:// when you use http://

repology complains with:

“Homepage link "https://github.com/…" is dead (HTTP error 404) for more than a month.”

This will fix some of them (not all though)
2017-08-17 14:53:40 -07:00
Domen Kožar af2cfc076f haskellPackages.z3: fix #16357 2017-01-03 23:10:24 +01:00
Gabriel Ebner 8c4aee4c79 z3: 4.4.1 -> 4.5.0 2016-11-08 16:14:16 -05:00
Frederik Rietdijk 8963dae343 z3: use python2 2016-10-18 23:16:07 +02:00
Ricardo M. Correia 194168b722 z3: 4.4.0 -> 4.4.1 2016-01-21 13:27:12 +01:00
Austin Seipp da6eec001a nixpkgs: z3 4.3.2 -> 4.4.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-06-11 22:10:56 -05:00
Austin Seipp 75ab87edc8 nixpkgs: z3 is now MIT licensed.
It's also been moved to GitHub, meaning we can avoid some of the
hackiness in the original expression. This updates the Git revision, but
only so that it contains the proper license (it's otherwise equivalent
to Z3 v4.3.2)

Also, make sure the python API .py files exist besides the .pyc files.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-03-28 01:04:06 -05:00
Eric Seidel eff828a275 z3: copy all headers into nix store 2015-03-26 13:19:41 -07:00
Austin Seipp d1b06927bc nixpkgs: z3 4.3.1 -> 4.3.2
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-01-23 11:00:55 -06:00
Austin Seipp 7d58646b08 z3/verifast: update license
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:09:24 -05:00
Austin Seipp 2646eac8b2 z3: version 4.3.1
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-03-21 02:50:54 -05:00