summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlad Wenter2019-11-30 19:51:22 +0100
committerAlad Wenter2019-11-30 19:51:22 +0100
commit0ed30492a16c39c348abdc3b738d1634dafc6194 (patch)
tree456a5e38ddd44b34c0fd2869ab822d91f6661a20
parent2504e403ccbe45a791f5af43dae104a8a72d3e4e (diff)
downloadaur-ocaml-psmt2-frontend.tar.gz
ocaml-psmt2-frontend: install manually
The Makefile seems to ignore DESTDIR completely. Use manual installation from earnestly/ocaml-psmt2-frontend-git
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD11
2 files changed, 7 insertions, 6 deletions
diff --git a/.SRCINFO b/.SRCINFO
index e4eaf91abe6b..7e41c44ca167 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = ocaml-psmt2-frontend
pkgdesc = A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
pkgver = 0.2
- pkgrel = 1
+ pkgrel = 2
url = https://github.com/Coquera/psmt2-frontend
arch = x86_64
license = Apache2
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
}