summaryrefslogtreecommitdiff
path: root/pcr/ocaml-ppx_tools_versioned
diff options
context:
space:
mode:
authorAndreas Grapentin <andreas@grapentin.org>2019-02-12 08:51:33 +0100
committerAndreas Grapentin <andreas@grapentin.org>2019-02-12 08:51:33 +0100
commit1e6dc7260b8356e47dcce3ba020ac3865f9d911f (patch)
treeb2a9907be1a6d4aa8393ad2b8da6d0a65747d2ae /pcr/ocaml-ppx_tools_versioned
parente02defb5aca853a304572fcefed4876878c1f8f4 (diff)
downloadabslibre-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/PKGBUILD30
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"
+}