Search Criteria
Package Details: python2-z3 4.8.5-1
| 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 (gccrs-libs-gitAUR, gcc11-libsAUR, gcc-libs-gitAUR) (make)
- gmp (gmp-hgAUR) (make)
- ninja (ninja-kitwareAUR, ninja-memAUR, ninja-fuchsia-gitAUR, ninja-gitAUR) (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/pythonneeds 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.7should be removed altogether.