diff options
| author | Andreas Grapentin <andreas@grapentin.org> | 2019-02-12 08:50:14 +0100 |
|---|---|---|
| committer | Andreas Grapentin <andreas@grapentin.org> | 2019-02-12 08:50:14 +0100 |
| commit | ccdceec9df177fa7aa58a1d846a9ae184ef8757c (patch) | |
| tree | a8b8037415ecd129cd2cbdca87a3074202f1b984 /pcr/ocaml-migrate-parsetree | |
| parent | 60f5e767f9ecfe7c3015d899172530e171359f99 (diff) | |
| download | abslibre-ccdceec9df177fa7aa58a1d846a9ae184ef8757c.tar.gz abslibre-ccdceec9df177fa7aa58a1d846a9ae184ef8757c.tar.bz2 abslibre-ccdceec9df177fa7aa58a1d846a9ae184ef8757c.zip | |
pcr/ocaml-migrate-parsetree: updated to 1.1.0
Diffstat (limited to 'pcr/ocaml-migrate-parsetree')
| -rw-r--r-- | pcr/ocaml-migrate-parsetree/PKGBUILD | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/pcr/ocaml-migrate-parsetree/PKGBUILD b/pcr/ocaml-migrate-parsetree/PKGBUILD new file mode 100644 index 000000000..6b151963e --- /dev/null +++ b/pcr/ocaml-migrate-parsetree/PKGBUILD @@ -0,0 +1,31 @@ +# Maintainer (AUR): Jakob Gahde <j5lx@fmail.co.uk> + +pkgname=ocaml-migrate-parsetree +pkgver=1.1.0 +pkgrel=1 +pkgdesc="Convert OCaml parsetrees between different versions" +arch=('i686' 'x86_64') +arch+=('armv7h') +license=('LGPL2.1') +url="https://github.com/ocaml-ppx/ocaml-migrate-parsetree" +depends=('ocaml' 'ocaml-result') +optdepends=('ocamlbuild: For ocamlbuild plugin') +makedepends=('ocaml-findlib' 'dune' 'ocamlbuild') +options=('!strip') +source=("https://github.com/ocaml-ppx/${pkgname}/releases/download/v${pkgver}/${pkgname}-${pkgver}.tbz") +sha512sums=('23c61d1eae05d5090712038d58c807f2959172d37b0eaf0e43ed6f3fe9a7b52390ebace173350abb47bc3be17be5659f9a6d8751ae6e0794f540780a58711d01') + +build() { + cd "${srcdir}/${pkgname}-${pkgver}" + + jbuilder build +} + +package() { + cd "${srcdir}/${pkgname}-${pkgver}" + + 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/share/" +} |