diff options
author | Alad Wenter | 2019-11-30 19:51:22 +0100 |
---|---|---|
committer | Alad Wenter | 2019-11-30 19:51:22 +0100 |
commit | 0ed30492a16c39c348abdc3b738d1634dafc6194 (patch) | |
tree | 456a5e38ddd44b34c0fd2869ab822d91f6661a20 /PKGBUILD | |
parent | 2504e403ccbe45a791f5af43dae104a8a72d3e4e (diff) | |
download | aur-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
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -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 } |