Package Details: z3-git 4.5.0.r1325.g05c4ea82-1

Git Clone URL: https://aur.archlinux.org/z3-git.git (read-only)
Package Base: z3-git
Description: Z3 is a high-performance theorem prover being developed at Microsoft Research
Upstream URL: https://github.com/Z3Prover/z3
Licenses: MIT
Conflicts: z3, z3-bin, z3-codeplex
Provides: 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: 2017-08-06 00:15

Dependencies (4)

Required by (26)

Sources (1)

Latest Comments

« First ‹ Previous 1 2

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