diff options
| author | Sebastian Schweizer | 2019-09-07 15:25:24 +0200 |
|---|---|---|
| committer | Sebastian Schweizer | 2019-09-07 15:25:39 +0200 |
| commit | c73e8d8991d3c4bd40718a2c838be8e66bfa3b4b (patch) | |
| tree | d539d71a7b71ce58b1d6616aacc492c3a4d8b566 | |
| parent | a470267cdd7dca658c582480947e6a968ee2fade (diff) | |
| download | aur-c73e8d8991d3c4bd40718a2c838be8e66bfa3b4b.tar.gz | |
v4.8.5
| -rw-r--r-- | PKGBUILD | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -1,6 +1,6 @@ # Maintainer: Sebastian Schweizer <sebastian@schweizer.tel> pkgname=z3-java -pkgver=4.5.0 +pkgver=4.8.5 pkgrel=1 pkgdesc="A high-performance theorem prover (with java bindings)" arch=('i686' 'x86_64') @@ -11,11 +11,11 @@ makedepends=('python' 'java-environment') optdepends=('java-runtime: bindings for java') provides=("z3=$pkgver") conflicts=('z3') -source=("https://github.com/Z3Prover/z3/archive/z3-$pkgver.tar.gz") -sha256sums=('aeae1d239c5e06ac183be7dd853775b84698db1265cb2258e5918a28372d4a0c') +source=("https://github.com/Z3Prover/z3/archive/Z3-$pkgver.tar.gz") +sha256sums=('4e8e232887ddfa643adb6a30dcd3743cb2fa6591735fbd302b49f7028cdc0363') build() { - cd "$srcdir/z3-z3-$pkgver" + cd "$srcdir/z3-Z3-$pkgver" python scripts/mk_make.py --java cd build make @@ -29,7 +29,7 @@ build() { } package() { - cd "$srcdir/z3-z3-$pkgver/build" + cd "$srcdir/z3-Z3-$pkgver/build" make install DESTDIR="$pkgdir" install -Dm644 ../LICENSE.txt "$pkgdir/usr/share/licenses/$pkgname/LICENSE" |