summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorJakob Gahde2018-06-27 22:11:05 +0200
committerJakob Gahde2018-06-27 22:11:05 +0200
commit294ef167a718346df498564135bb2bd18e4756e6 (patch)
tree27de03dbb53fb6d39a332bccd03df4f9573ea02c
downloadaur-ocaml-configurator.tar.gz
ocaml-configurator 0.11.0-1: New package
-rw-r--r--.SRCINFO19
-rw-r--r--PKGBUILD29
2 files changed, 48 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..c8de15a878c
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,19 @@
+# Generated by mksrcinfo v8
+# Wed Jun 27 20:10:48 UTC 2018
+pkgbase = ocaml-configurator
+ pkgdesc = Helper library for gathering system configuration
+ pkgver = 0.11.0
+ pkgrel = 1
+ url = https://github.com/janestreet/configurator
+ arch = x86_64
+ license = Apache
+ makedepends = dune
+ depends = ocaml
+ depends = ocaml-base
+ depends = ocaml-stdio
+ options = !strip
+ source = https://ocaml.janestreet.com/ocaml-core/v0.11/files/configurator-v0.11.0.tar.gz
+ md5sums = 55511f3ea8e3d66439910b3324701218
+
+pkgname = ocaml-configurator
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..2674de4efc1
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,29 @@
+# Maintainer: Jakob Gahde <j5lx@fmail.co.uk>
+
+pkgname=ocaml-configurator
+pkgver=0.11.0
+pkgrel=1
+pkgdesc="Helper library for gathering system configuration"
+arch=('x86_64')
+url='https://github.com/janestreet/configurator'
+license=('Apache')
+depends=('ocaml' 'ocaml-base' 'ocaml-stdio')
+makedepends=('dune')
+options=('!strip')
+source=("https://ocaml.janestreet.com/ocaml-core/v$(echo ${pkgver} | grep -Po "^[0-9]+\.[0-9]+")/files/configurator-v${pkgver}.tar.gz")
+md5sums=('55511f3ea8e3d66439910b3324701218')
+
+build() {
+ cd "${srcdir}/configurator-v${pkgver}"
+
+ jbuilder build
+}
+
+
+package() {
+ cd "${srcdir}/configurator-v${pkgver}"
+
+ mkdir -p "${pkgdir}$(ocamlfind printconf destdir)" "${pkgdir}/usr/share"
+ jbuilder install --prefix "${pkgdir}/usr" --libdir "${pkgdir}$(ocamlfind printconf destdir)"
+ mv "${pkgdir}/usr/doc" "${pkgdir}/usr/share/"
+}