Search Criteria
Package Details: z3-git 4.8.9.r232.gfae948130-1
Git Clone URL: | https://aur.archlinux.org/z3-git.git (read-only, click to copy) |
---|---|
Package Base: | z3-git |
Description: | Z3 is a theorem prover from Microsoft Research |
Upstream URL: | https://github.com/Z3Prover/z3 |
Licenses: | |
Conflicts: | |
Provides: | |
Submitter: | d.woffinden |
Maintainer: | d.woffinden |
Last Packager: | d.woffinden |
Votes: | 8 |
Popularity: | 0.000000 |
First Submitted: | 2014-03-02 03:55 |
Last Updated: | 2020-12-08 21:19 |
Dependencies (4)
- gcc-libs (gcc-libs-multilib-x32, fastgcc, gcc-libs-multilib-git, gcc-libs-git)
- git (git-git) (make)
- python (python-dbg) (make)
- python (python-dbg) (optional) – bindings for python
Required by (40)
- aomp-amdgpu (requires z3)
- boogie-git
- clang+llvm-binaries (requires z3)
- cryptol-git (requires z3)
- fstar
- fstar-git
- fstar-ulib (requires z3)
- key-bin (requires z3) (optional)
- key-nightly (requires z3) (optional)
- klee (requires z3)
- klee (requires z3) (make)
- llvm-amdgpu (requires z3)
- llvm-amdgpu-git (requires z3)
- llvm-git (requires z3) (make)
- llvm-libs-git (requires z3) (make)
- llvm-libs-git (requires z3)
- llvm-ocaml-git (requires z3) (make)
- openjml-bin (requires z3) (optional)
- pact (requires z3)
- picat (requires z3) (optional)
- python-claripy-git (requires python-z3)
- python-miasm-git (requires python-z3) (optional)
- python2-claripy (requires z3)
- root-cuda-py2 (requires z3) (make)
- root-py2 (requires z3) (make)
- rumur (requires z3) (check)
- rumur (requires z3) (optional)
- rumur-git (requires z3) (check)
- rumur-git (requires z3) (optional)
- saw-script-git (requires z3)
- solidity-git (requires z3) (optional)
- spark2014-git (requires z3) (optional)
- stormchecker (requires z3)
- stormchecker-git (requires z3)
- symbiyosys-git (requires z3) (optional)
- triton (requires z3)
- triton-git (requires z3)
- vampire (requires z3)
- zapcc (requires z3)
- zz-git (requires z3)
Latest Comments
1 2 Next › Last »
d.woffinden commented on 2020-12-08 21:23
done, ta
lenerd commented on 2020-12-08 10:55
Hi, this package conflicts with python-z3 since it also contains the python bindings. Could you add python-z3 to provides/conflicts?
d.woffinden commented on 2020-09-08 21:26
Fixed the pkgver, thanks!
cameel commented on 2020-09-07 12:39
The
PKGBUILD
sets version incorrectly. For me the version isz3-4.8.4-4175-g687a16a79
even though it's built from the currentmaster
. The reason is that new tags in the repo are not annotated andgit describe
skips them by default.To take unannotated version tags into account,
pkgver
should be doing something likegit describe --long --tags --match z3-*.*.*
.wbthomason commented on 2017-10-30 22:29
@d.woffinden: Though I've modified the PKGBUILD to make the OCaml bindings for myself (at least, I think - it generates OCaml .cmx files, but I can't seem to open the Z3 module in the OCaml top level), it would be useful if this package generated OCaml bindings (in reference to your comment below).
d.woffinden commented on 2017-08-06 00:18
Seems to work for me now, probably just a bad upstream revision?
hans_jschmid commented on 2017-05-01 09:47
Getting compiler error:
src/ast/simplifier/seq_simplifier_plugin.cpp
In file included from ../src/util/trace.h:31:0,
from ../src/util/mpz.h:26,
from ../src/util/mpq.h:22,
from ../src/util/rational.h:22,
from ../src/ast/ast.h:26,
from ../src/ast/simplifier/simplifier_plugin.h:21,
from ../src/ast/simplifier/basic_simplifier_plugin.h:20,
from ../src/ast/simplifier/seq_simplifier_plugin.h:20,
from ../src/ast/simplifier/seq_simplifier_plugin.cpp:17:
/usr/include/c++/6.3.1/fstream: In Elementfunktion »bool std::basic_filebuf<_CharT, _Traits>::is_open() const«:
/usr/include/c++/6.3.1/fstream:253:16: interner Compiler-Fehler: Speicherzugriffsfehler
{ return _M_file.is_open(); }
^~~~~~~
Bitte senden Sie einen vollständigen Fehlerbericht auf Englisch ein;
inclusive vorverarbeitetem Quellcode, wenn es dienlich ist.
Siehe <https://bugs.archlinux.org/> für nähere Anweisungen.
make: *** [Makefile:1873: ast/simplifier/seq_simplifier_plugin.o] Fehler 1
==> FEHLER: Ein Fehler geschah in build().
Breche ab...
==> FEHLER:Makepkg konnte z3-git nicht erstellen.
==> Erstellen von z3-git neu starten?[j/N]
==> --------------------------------------
d.woffinden commented on 2016-05-23 21:03
Should be fixed now, thanks. Apologies for the delay.
FYI, the python bindings are now for python (3.5) rather than python2 (2.7). If anybody needs bindings for other languages (Java, .NET, OCaml) for this package, let me know.
mickael9 commented on 2016-05-22 21:54
Here is a working PKGBUILD: https://gist.github.com/mickael9/7c09e267e71cc259f21449dbdee015cf
kaptoxic commented on 2016-05-07 21:40
Same here (as bastelfreak).