diff options
author | Jakob Gahde | 2018-06-27 22:11:05 +0200 |
---|---|---|
committer | Jakob Gahde | 2018-06-27 22:11:05 +0200 |
commit | 294ef167a718346df498564135bb2bd18e4756e6 (patch) | |
tree | 27de03dbb53fb6d39a332bccd03df4f9573ea02c | |
download | aur-ocaml-configurator.tar.gz |
ocaml-configurator 0.11.0-1: New package
-rw-r--r-- | .SRCINFO | 19 | ||||
-rw-r--r-- | PKGBUILD | 29 |
2 files changed, 48 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..c8de15a878c7 --- /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 000000000000..2674de4efc1f --- /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/" +} |