Package Details: z3-git 4.12.2.r453.g2354998cd-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: MIT
Conflicts: python-z3-solver, z3, z3-bin, z3-codeplex
Provides: python-z3-solver, 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: 2023-11-26 14:37 (UTC)

Dependencies (4)

Required by (55)

Sources (1)

Latest Comments

« First ‹ Previous 1 2

mickael9 commented on 2016-05-22 21:54 (UTC)

Here is a working PKGBUILD: https://gist.github.com/mickael9/7c09e267e71cc259f21449dbdee015cf

aspirogrammer 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 https://ci.virtapi.org/view/Arch%20Package%20Continuous%20Delivery/job/Arch_Package_z3-git/1/console

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

use python2 scripts/mk_make.py --prefix="$pkgdir/usr" --pypkgdir="$pkgdir/usr/lib/python2.7/site-packages" instead of python2 scripts/mk_make.py --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/mk_util.py" 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 https://z3.codeplex.com/SourceControl/latest this has to be build just with: python2 scripts/mk_make.py cd "$srcdir/$pkgname/build make instead of autoconf ./configure --with-python=/usr/bin/python2 python2 scripts/mk_make.py 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 https://www.archlinux.org/packages/core/x86_64/gcc-libs/ 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/libz3.so 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/libstdc++.so.6', 'usr/lib/libgomp.so.1', 'usr/lib/libgcc_s.so.1'] needed in files ['usr/lib/python2.7/site-packages/libz3.so', 'usr/lib/libz3.so', '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 http://codepad.org/mRp9y3x7

« First ‹ Previous 1 2