summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorJakob Gahde2018-06-28 00:24:37 +0200
committerJakob Gahde2018-06-28 00:24:37 +0200
commit4fe6d8de972c5f66bc2de51871d49554c627f7ea (patch)
tree597601b01284781773eee000b6476257d5842005
parentff555d8fe0cd4337bd0faa2eccc42ead0cd5b611 (diff)
downloadaur-4fe6d8de972c5f66bc2de51871d49554c627f7ea.tar.gz
ocaml-lambda-term 1.13-2: Work around opam bug
-rw-r--r--.SRCINFO4
-rw-r--r--PKGBUILD3
2 files changed, 4 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 519117c5007c..0c149d139900 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,9 +1,9 @@
# Generated by mksrcinfo v8
-# Wed Jun 27 21:48:54 UTC 2018
+# Wed Jun 27 22:24:15 UTC 2018
pkgbase = ocaml-lambda-term
pkgdesc = A cross-platform library for manipulating the terminal
pkgver = 1.13
- pkgrel = 1
+ pkgrel = 2
url = https://github.com/diml/lambda-term
arch = i686
arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index fe71f7977ae5..0b14711aad6e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
pkgname=ocaml-lambda-term
pkgver=1.13
-pkgrel=1
+pkgrel=2
pkgdesc='A cross-platform library for manipulating the terminal'
arch=('i686' 'x86_64')
url='https://github.com/diml/lambda-term'
@@ -28,5 +28,6 @@ package() {
install -dm755 "${pkgdir}$(ocamlfind printconf destdir)" "${pkgdir}/usr/share"
jbuilder install --prefix "${pkgdir}/usr" --libdir "${pkgdir}$(ocamlfind printconf destdir)"
mv "${pkgdir}/usr/doc" "${pkgdir}/usr/man" "${pkgdir}/usr/share/"
+ mv "${pkgdir}/usr/lib/ocaml/stubslibs" "${pkgdir}/usr/lib/ocaml/stublibs" # bug in opam
install -Dm644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
}