1 files changed, 6 insertions, 5 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 9e2dcb5e4490..c94762f54fb0 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 pkgname=ocaml-psmt2-frontend
 _pkgname=psmt2-frontend
 pkgver=0.2
-pkgrel=1
+pkgrel=2
 pkgdesc="A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language"
 arch=('x86_64')
 url="https://github.com/Coquera/psmt2-frontend"
@@ -13,15 +13,16 @@ sha256sums=('59c25982fcdae1128dea6f260e76bbfd1dd4fe45b34aa168ae084281f4941303')
 
 build() {
   cd "$_pkgname-$pkgver"
-  autoconf
+  autoreconf -fi
 
-  ./configure --prefix=/usr
+  ./configure
   make
+  make META
 }
 
 package() {
   cd "$_pkgname-$pkgver"
 
-  mkdir -p "$pkgdir/usr/lib/ocaml/psmt2-frontend"
-  make DESTDIR="$pkgdir/usr" LIBDIR="$pkgdir/usr/lib/ocaml" install
+  install -dm0755 "$pkgdir"/usr/lib/ocaml
+  OCAMLFIND_DESTDIR="$pkgdir"/usr/lib/ocaml ocamlfind install psmt2-frontend src/psmt2Frontend.* src/*.mli META
 }