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: 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
Last Updated: 2020-12-08 21:19

Dependencies (4)

Required by (42)

Sources (1)

Latest Comments

« First ‹ Previous 1 2

bastelfreak commented on 2016-03-27 17:14

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

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

Fixed and updated, thanks mw0 :)

mw0 commented on 2014-11-14 12:09

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

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

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

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