mirror of
https://github.com/archlinuxarm/PKGBUILDs.git
synced 2024-11-08 22:45:43 +00:00
community/z3 to 4.8.17-1
This commit is contained in:
parent
48b0e333c1
commit
8a963bc71b
1 changed files with 15 additions and 18 deletions
|
@ -7,48 +7,45 @@
|
|||
|
||||
pkgbase=z3
|
||||
pkgname=('z3' 'python-z3')
|
||||
pkgver=4.8.16
|
||||
pkgver=4.8.17
|
||||
pkgrel=1
|
||||
pkgdesc='High-performance theorem prover'
|
||||
url='https://github.com/Z3Prover/z3'
|
||||
arch=('x86_64')
|
||||
license=('MIT')
|
||||
# 'java-environment-common' 'mono' 'ocaml' 'ocaml-findlib'
|
||||
makedepends=('cmake' 'ninja' 'python' 'python-setuptools' 'gcc-libs')
|
||||
makedepends=('glibc' 'cmake' 'ninja' 'python' 'python-setuptools' 'gcc-libs')
|
||||
source=(https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz)
|
||||
sha512sums=('385f6e1ee075b9eadb5aad338657a81f518eef382b99ce623448a630b79f5d414ebccfd1bb5e959626f0b82ef54a5f20326814ae988b5688d51578de6fb69615')
|
||||
|
||||
prepare() {
|
||||
cd $pkgbase-z3-$pkgver
|
||||
mkdir -p build
|
||||
}
|
||||
sha512sums=('95517014ec1798c2552253dd5cde6f955896ab297a4f56294f4bc6f2c5428069015f513c6eb9a090a809cfcf4cb1cc38cc83818f19b5b1051e4e6c06f973747d')
|
||||
b2sums=('80dbb5d48811eb6022c0d0117d1e954bae7b27ff984f24cdfbc9158eb548349f817f30ea231d1119aadeedaec63765834bff6f6d21276d0bf61c30212444f224')
|
||||
|
||||
build() {
|
||||
cd $pkgbase-z3-$pkgver/build
|
||||
cmake .. \
|
||||
cd $pkgbase-z3-$pkgver
|
||||
cmake \
|
||||
-Bbuild \
|
||||
-GNinja \
|
||||
-DCMAKE_INSTALL_PREFIX=/usr \
|
||||
-DCMAKE_INSTALL_LIBDIR=lib \
|
||||
-DZ3_LINK_TIME_OPTIMIZATION=OFF \
|
||||
-DZ3_BUILD_PYTHON_BINDINGS=1 \
|
||||
-DPYTHON_EXECUTABLE=/usr/bin/python
|
||||
ninja
|
||||
ninja -C build
|
||||
}
|
||||
|
||||
package_z3() {
|
||||
depends=('gcc-libs')
|
||||
depends=('glibc' 'gcc-libs')
|
||||
provides=('libz3' 'libz3.so')
|
||||
cd $pkgbase-z3-$pkgver/build
|
||||
DESTDIR="$pkgdir" ninja install
|
||||
install -Dm 644 ../LICENSE.txt -t "$pkgdir"/usr/share/licenses/$pkgname
|
||||
cd $pkgbase-z3-$pkgver
|
||||
DESTDIR="${pkgdir}" ninja -C build install
|
||||
install -Dm 644 LICENSE.txt -t "$pkgdir"/usr/share/licenses/$pkgname
|
||||
rm -r "$pkgdir"/usr/lib/python*
|
||||
}
|
||||
|
||||
package_python-z3() {
|
||||
depends=('python' 'z3')
|
||||
cd $pkgbase-z3-$pkgver/build
|
||||
DESTDIR="$pkgdir" ninja install
|
||||
install -Dm 644 ../LICENSE.txt -t "$pkgdir"/usr/share/licenses/$pkgname
|
||||
cd $pkgbase-z3-$pkgver
|
||||
DESTDIR="${pkgdir}" ninja -C build install
|
||||
install -Dm 644 LICENSE.txt -t "$pkgdir"/usr/share/licenses/$pkgname
|
||||
cd "$pkgdir"
|
||||
rm -r usr/include usr/bin usr/lib/{cmake,pkgconfig,lib*}
|
||||
python -m compileall .
|
||||
|
|
Loading…
Reference in a new issue