summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD6
2 files changed, 4 insertions, 4 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 2e2813c75010..9d36e86f897f 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = boolector-java
pkgdesc = Java bindings for the Boolector SMT solver
pkgver = 3.1.1
- pkgrel = 1
+ pkgrel = 2
url = http://boolector.github.io/
arch = i686
arch = x86_64
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"