Fixed and updated, thanks mw0 :)
Search Criteria
Package Details: z3-git r1891.ac21ffe-1
Package Actions
| Package Base: | z3-git |
|---|---|
| Description: | Z3 is a high-performance theorem prover being developed at Microsoft Research |
| Upstream URL: | https://github.com/Z3Prover/z3 |
| Category: | devel |
| Licenses: | |
| Conflicts: | |
| Provides: | |
| Submitter: | d.woffinden |
| Maintainer: | d.woffinden |
| Last Packager: | d.woffinden |
| Votes: | 3 |
| First Submitted: | 2014-03-02 03:55 |
| Last Updated: | 2015-03-29 15:13 |
Latest Comments
Comment by d.woffinden
Comment by mw0
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
Comment by sekret
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.
Comment by d.woffinden
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 :(
Comment by sekret
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