2 files changed, 6 insertions, 7 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 5803c8993ae3..459f3d762324 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = btor2tools-git
 	pkgdesc = A generic parser and tool package for the BTOR2 format.
-	pkgver = r60.1df768d
+	pkgver = r77.9831f99
 	pkgrel = 1
 	url = https://github.com/Boolector/btor2tools
 	arch = any
diff --git a/PKGBUILD b/PKGBUILD
index ab4e25b227f4..a76f4bca53c9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 _pkgname=btor2tools
 pkgname=btor2tools-git
-pkgver=r60.1df768d
+pkgver=r77.9831f99
 pkgrel=1
 pkgdesc="A generic parser and tool package for the BTOR2 format."
 arch=('any')
@@ -25,9 +25,9 @@ prepare() {
 }
 
 build() {
-
   cd "$srcdir/btor2tools"
-  CFLAGS="" ./configure.sh -shared -fPIC
+  CFLAGS="" ./configure.sh
+  cd build
   make
 }
 
@@ -36,8 +36,7 @@ package() {
   mkdir -p "$pkgdir/usr/lib/"
   mkdir -p "$pkgdir/usr/include/btor2parser"
 
-  install -m755 btor2tools/bin/* "$pkgdir/usr/bin/"
-  install -m755 btor2tools/build/*.so "$pkgdir/usr/lib/"
-  install -m755 btor2tools/build/*.a "$pkgdir/usr/lib/"
+  install -m755 btor2tools/build/bin/* "$pkgdir/usr/bin/"
+  install -m755 btor2tools/build/lib/*.so "$pkgdir/usr/lib/"
   install -m755 btor2tools/src/btor2parser/btor2parser.h  "$pkgdir/usr/include/btor2parser"
 }