summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD6
1 files changed, 3 insertions, 3 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 813b4ae205dc..42ad8f0fa6d3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
pkgname=boolector-java
pkgver=3.1.1
-pkgrel=1
+pkgrel=2
pkgdesc="Java bindings for the Boolector SMT solver"
arch=('i686' 'x86_64')
url="http://boolector.github.io/"
@@ -15,12 +15,12 @@ sha256sums=('SKIP')
sha512sums=('SKIP')
build() {
- cd "$srcdir/boolector-java-3.1.0"
+ cd "$srcdir/boolector-java-3.1.1"
make
}
package() {
- cd "$srcdir/boolector-java-3.1.0"
+ cd "$srcdir/boolector-java-3.1.1"
libdir="$pkgdir/usr/lib"
includedir="$pkgdir/usr/include/boolector-java"