summaryrefslogtreecommitdiff
path: root/pcr/ocaml-result/PKGBUILD
diff options
context:
space:
mode:
authorAndreas Grapentin <andreas@grapentin.org>2018-01-22 17:13:12 +0100
committerAndreas Grapentin <andreas@grapentin.org>2018-01-22 17:13:12 +0100
commit05a95be53c18fbae03598eeb25219501f37094c8 (patch)
tree9943353f516244c0d8043b5dce3fc8eba40c12fa /pcr/ocaml-result/PKGBUILD
parentb2719f4f0455768fdd41a3f7e58b14a2e324f8e5 (diff)
downloadabslibre-05a95be53c18fbae03598eeb25219501f37094c8.tar.gz
abslibre-05a95be53c18fbae03598eeb25219501f37094c8.tar.bz2
abslibre-05a95be53c18fbae03598eeb25219501f37094c8.zip
pcr/ocaml-result: added
Diffstat (limited to 'pcr/ocaml-result/PKGBUILD')
-rw-r--r--pcr/ocaml-result/PKGBUILD35
1 files changed, 35 insertions, 0 deletions
diff --git a/pcr/ocaml-result/PKGBUILD b/pcr/ocaml-result/PKGBUILD
new file mode 100644
index 000000000..5c5869902
--- /dev/null
+++ b/pcr/ocaml-result/PKGBUILD
@@ -0,0 +1,35 @@
+# Maintainer (AUR): Jakob Gahde <j5lx@fmail.co.uk>
+
+# parabola changes and rationale:
+# no changes.
+
+_pkgname=result
+pkgname=ocaml-${_pkgname}
+pkgver=1.2
+pkgrel=2
+pkgdesc="Compatibility Result module"
+arch=('i686' 'x86_64' 'armv7h')
+url="https://github.com/janestreet/result"
+license=('BSD')
+depends=('ocaml')
+makedepends=('ocaml-findlib')
+options=('!strip')
+source=("https://github.com/janestreet/result/archive/${pkgver}.tar.gz")
+sha256sums=('7cf7909f902994dc885ceae1983e4cda3665914c774f774604d076b89f76f7dd')
+
+build() {
+ cd "${srcdir}/${_pkgname}-${pkgver}"
+
+ make -j1
+}
+
+
+package() {
+ cd "${srcdir}/${_pkgname}-${pkgver}"
+
+ export OCAMLFIND_DESTDIR="${pkgdir}$(ocamlfind printconf destdir)"
+ mkdir -p "${OCAMLFIND_DESTDIR}"
+ make install
+
+ install -Dm644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
+}