Package Details: z3-git 4.8.9.r232.gfae948130-1

Git Clone URL: (read-only, click to copy)
Package Base: z3-git
Description: Z3 is a theorem prover from Microsoft Research
Upstream URL:
Licenses: MIT
Conflicts: python-z3, z3, z3-bin, z3-codeplex
Provides: python-z3, z3
Submitter: d.woffinden
Maintainer: d.woffinden
Last Packager: d.woffinden
Votes: 8
Popularity: 0.000000
First Submitted: 2014-03-02 03:55 (UTC)
Last Updated: 2020-12-08 21:19 (UTC)

Required by (45)

Sources (1)

Latest Comments

d.woffinden commented on 2021-11-09 22:20 (UTC)


My Arch system is currently out of order, so if you want it quickly, feel free to send a pull request:

wbthomason commented on 2021-11-09 19:32 (UTC)

Should this PKGBUILD be updated to match the build process used in the stable Z3 package?

The main difference is the use of CMake vs. the mk_make script, but it seems wise to keep the two packages consistent with each other in case the builds diverge.

d.woffinden commented on 2020-12-08 21:23 (UTC)

done, ta

lenerd commented on 2020-12-08 10:55 (UTC)

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 (UTC)

Fixed the pkgver, thanks!

cameel commented on 2020-09-07 12:39 (UTC)

The PKGBUILD sets version incorrectly. For me the version is z3-4.8.4-4175-g687a16a79 even though it's built from the current master. The reason is that new tags in the repo are not annotated and git describe skips them by default.

To take unannotated version tags into account, pkgver should be doing something like git describe --long --tags --match z3-*.*.*.

wbthomason commented on 2017-10-30 22:29 (UTC)

@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 (UTC)

Seems to work for me now, probably just a bad upstream revision?

hans_jschmid commented on 2017-05-01 09:47 (UTC)

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 <> 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 (UTC)

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 (UTC)

Here is a working PKGBUILD:

kaptoxic commented on 2016-05-07 21:40 (UTC)

Same here (as bastelfreak).

bastelfreak commented on 2016-03-27 17:14 (UTC)

Hi, the current pkgbuild doesnt, build: mv: cannot stat '/build/z3-git/pkg/z3-git/usr/lib/python2.7/dist-packages': No such file or directory

Grollicus commented on 2015-12-10 20:54 (UTC)

use python2 scripts/ --prefix="$pkgdir/usr" --pypkgdir="$pkgdir/usr/lib/python2.7/site-packages" instead of python2 scripts/ --prefix="$pkgdir/usr" otherwise mk_make will skip python bindings. Also saves the mv from dist-packages to site-packages. Also I did add sed -i "s/return str(version_string).find('clang') != -1/return unicode(version_string).find('clang') != -1/g" "$srcdir/$pkgname/scripts/" in build() because of strange locale issues: gcc --version prints umlauts in german. But thats just a note, maybe some other germans run into this strange problem.

d.woffinden commented on 2014-11-14 20:12 (UTC)

Fixed and updated, thanks mw0 :)

mw0 commented on 2014-11-14 12:09 (UTC)

Hey, I tried to build this package today, and generating the Makefile with autoconf+configure failed for me. According to this has to be build just with: python2 scripts/ cd "$srcdir/$pkgname/build make instead of autoconf ./configure --with-python=/usr/bin/python2 python2 scripts/ cd "$srcdir/$pkgname/build make

sekret commented on 2014-03-03 08:22 (UTC)

Oh, you are right about gcc-libs being in base, I haven't thought of that. On the other hand, if you look at you'll see that many official packages also have gcc-libs in their dependency list. So I think it's fine now.

d.woffinden commented on 2014-03-02 16:28 (UTC)

Thanks, sekret! I've pushed an updated PKGBUILD with your fixes. I've also made /usr/lib/python2.7/site-packages/ a symlink, rather than having two copies of a 15M library for no reason. Technically both glibc and gcc-libs are in the 'base' group, so making them explicit dependencies isn't necessary, but I've included 'gcc-libs' anyway for good measure. Looks like I slipped up when migrating the installation paths from the Makefile :(

sekret commented on 2014-03-02 13:10 (UTC)

Hi, nice package, thanks for sharing! There are some issues with your package: 1. It depends on gcc-libs. Namcap shows it as optional z3-git W: Dependency gcc-libs detected but optional (libraries ['usr/lib/', 'usr/lib/', 'usr/lib/'] needed in files ['usr/lib/python2.7/site-packages/', 'usr/lib/', 'usr/bin/z3']) but that's nonsense. 2. You shouldn't install stuff into /include! z3-git W: File (include/) exists in a non-standard directory. z3-git W: File (include/z3.h) exists in a non-standard directory. z3-git W: File (include/z3_api.h) exists in a non-standard directory. z3-git W: File (include/z3_v1.h) exists in a non-standard directory. z3-git W: File (include/z3_macros.h) exists in a non-standard directory. z3-git W: File (include/z3++.h) exists in a non-standard directory. Please install all those into /usr/include Here's an updated PKGBUILD with a clean namcap output