archlinuxarm/PKGBUILDs
1
0
Fork 0
mirror of https://github.com/archlinuxarm/PKGBUILDs.git synced 2025-03-19 00:21:40 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

community/z3 to 4.12.0-1

Browse source
This commit is contained in:
Kevin Mihelich 2023-02-04 03:14:16 +00:00
parent 3605bfc7e1
commit 66d9850e93
1 changed files with 13 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
community/z3/PKGBUILD
View file

@ -7,20 +7,21 @@
pkgbase=z3 pkgbase=z3
pkgname=('z3' 'python-z3-solver') pkgname=('z3' 'python-z3-solver')
pkgver=4.11.2 pkgver=4.12.0
_commit=feda706d0dda2539176246dd221328122c66f77d
pkgrel=1 pkgrel=1
pkgdesc='High-performance theorem prover' pkgdesc='High-performance theorem prover'
url='https://github.com/Z3Prover/z3' url='https://github.com/Z3Prover/z3'
arch=('x86_64') arch=('x86_64')
license=('MIT') license=('MIT')
makedepends=('glibc' 'cmake' 'ninja' 'python' 'python-setuptools' 'gcc-libs' makedepends=('git' 'glibc' 'cmake' 'ninja' 'python' 'python-setuptools' 'gcc-libs'
'python-build' 'python-installer' 'python-wheel') 'python-build' 'python-installer' 'python-wheel')
source=(https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz) source=(git+https://github.com/Z3Prover/z3.git#commit=$_commit)
sha512sums=('be2573d38c0e50b46fcb025d50335e016769fdeab3c26f5dc2a13102fae889d23039258ea8d38de3f53daa4cf073704d8639ac291e781a74633194adedaae21a') sha512sums=('SKIP')
b2sums=('85fe5b94c5bfaeaca5b1dfe42fe9763a278c414955a9aed45abbb3e60c366a86bcdcd7c3bdcf27cc67bc10c76700069d548cb1e27ccf3286c8c6eccfa9d492d1') b2sums=('SKIP')
build() { build() {
cd $pkgbase-z3-$pkgver cd z3
cmake \ cmake \
-Bbuild \ -Bbuild \
-GNinja \ -GNinja \
@ -36,9 +37,9 @@ package_z3() {
depends=('glibc' 'gcc-libs') depends=('glibc' 'gcc-libs')
provides=('libz3' 'libz3.so') provides=('libz3' 'libz3.so')
cd $pkgbase-z3-$pkgver cd z3
DESTDIR="${pkgdir}" ninja -C build install DESTDIR="$pkgdir" ninja -C build install
install -Dm 644 LICENSE.txt -t "$pkgdir"/usr/share/licenses/$pkgname install -Dm644 LICENSE.txt -t "$pkgdir"/usr/share/licenses/$pkgname
rm -r "$pkgdir"/usr/lib/python* rm -r "$pkgdir"/usr/lib/python*
} }
@ -47,9 +48,9 @@ package_python-z3-solver() {
replaces=('python-z3') replaces=('python-z3')
conflicts=('python-z3') conflicts=('python-z3')
cd $pkgbase-z3-$pkgver cd z3
DESTDIR="${pkgdir}" ninja -C build install DESTDIR="$pkgdir" ninja -C build install
install -Dm 644 LICENSE.txt -t "$pkgdir"/usr/share/licenses/$pkgname install -Dm644 LICENSE.txt -t "$pkgdir"/usr/share/licenses/$pkgname
cd "$pkgdir" cd "$pkgdir"
rm -r usr/include usr/bin usr/lib/{cmake,pkgconfig,lib*} rm -r usr/include usr/bin usr/lib/{cmake,pkgconfig,lib*}