diff options
| author | Andreas Grapentin <andreas@grapentin.org> | 2019-02-12 08:51:33 +0100 |
|---|---|---|
| committer | Andreas Grapentin <andreas@grapentin.org> | 2019-02-12 08:51:33 +0100 |
| commit | 1e6dc7260b8356e47dcce3ba020ac3865f9d911f (patch) | |
| tree | b2a9907be1a6d4aa8393ad2b8da6d0a65747d2ae /pcr/ocaml-ppx_tools_versioned | |
| parent | e02defb5aca853a304572fcefed4876878c1f8f4 (diff) | |
| download | abslibre-1e6dc7260b8356e47dcce3ba020ac3865f9d911f.tar.gz abslibre-1e6dc7260b8356e47dcce3ba020ac3865f9d911f.tar.bz2 abslibre-1e6dc7260b8356e47dcce3ba020ac3865f9d911f.zip | |
pcr/ocaml-ppx_tools_versioned: updated to 5.2.1
Diffstat (limited to 'pcr/ocaml-ppx_tools_versioned')
| -rw-r--r-- | pcr/ocaml-ppx_tools_versioned/PKGBUILD | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/pcr/ocaml-ppx_tools_versioned/PKGBUILD b/pcr/ocaml-ppx_tools_versioned/PKGBUILD new file mode 100644 index 000000000..53dad0e0d --- /dev/null +++ b/pcr/ocaml-ppx_tools_versioned/PKGBUILD @@ -0,0 +1,30 @@ +# Maintainer: Jakob Gahde <j5lx@fmail.co.uk> + +pkgname=ocaml-ppx_tools_versioned +pkgver=5.2.1 +pkgrel=1 +pkgdesc="Tools for authors of ppx rewriters and other syntactic tools (with ocaml-migrate-parsetree support)" +arch=('x86_64') +arch+=('i686' 'armv7h') +license=('MIT') +url="https://github.com/ocaml-ppx/ppx_tools_versioned" +depends=('ocaml' 'ocaml-migrate-parsetree') +makedepends=('dune') +options=('!strip') +source=("$pkgname-$pkgver.tar.gz::https://github.com/ocaml-ppx/ppx_tools_versioned/archive/${pkgver}.tar.gz") +sha512sums=('ef9f7ee1402b07a10057f84f1851120256ddd6bee9feb0a3dd3f350d589c97e90aa8b4023288b697d6c0a7424915707d1cedf815e3e3dfbcfa9f42b10f50efde') + +build() { + cd "${srcdir}/ppx_tools_versioned-${pkgver}" + + jbuilder build +} + +package() { + cd "${srcdir}/ppx_tools_versioned-${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/" + install -Dm644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" +} |