Search Criteria
Package Details: python2-z3 4.8.5-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/python2-z3.git (read-only, click to copy) |
---|---|
Package Base: | python2-z3 |
Description: | High-performance theorem prover |
Upstream URL: | https://github.com/Z3Prover/z3 |
Licenses: | MIT |
Submitter: | ulyssesrr |
Maintainer: | None |
Last Packager: | ulyssesrr |
Votes: | 2 |
Popularity: | 0.000000 |
First Submitted: | 2019-03-20 23:12 (UTC) |
Last Updated: | 2019-06-26 01:05 (UTC) |
Dependencies (8)
- libz3 (z3)
- python2AUR (python2-binAUR)
- cmake (cmake-gitAUR) (make)
- gcc-libs (gcc-libs-gitAUR, gccrs-libs-gitAUR, gcc11-libsAUR, gcc-libs-snapshotAUR) (make)
- gmp (gmp-hgAUR) (make)
- ninja (ninja-kitwareAUR, ninja-memAUR, ninja-fuchsia-gitAUR, ninja-gitAUR, ninja-jobserverAUR) (make)
- python2AUR (python2-binAUR) (make)
- python2-setuptoolsAUR (make)
Latest Comments
ulyssesrr commented on 2019-06-26 01:06 (UTC)
Done. Thanks.
daenney commented on 2019-06-25 14:54 (UTC) (edited on 2019-06-25 14:57 (UTC) by daenney)
This doesn't build cleanly. In the PKGBUILD
-DPYTHON_EXECUTABLE=/usr/bin/python
needs to be replaced with-DPYTHON_EXECUTABLE=/usr/bin/python2
, see https://wiki.archlinux.org/index.php/Python#Python_2mv usr/lib/python* usr/lib/python2.7
should be removed altogether.