aboutsummaryrefslogtreecommitdiffstats
path: root/testing
diff options
context:
space:
mode:
authorJakub Jirutka <jakub@jirutka.cz>2018-03-05 00:07:56 +0100
committerJakub Jirutka <jakub@jirutka.cz>2018-03-05 00:14:26 +0100
commit17b424dbe93716ac7aeb167c53f9c25c89531787 (patch)
tree112a2c57a2c5d9528ad8a6f5289d996cbfc18713 /testing
parentdbf104a03a2990bdd4e3c875cd657011bbf2620d (diff)
downloadaports-17b424dbe93716ac7aeb167c53f9c25c89531787.tar.bz2
aports-17b424dbe93716ac7aeb167c53f9c25c89531787.tar.xz
testing/ocaml-menhir: new aport
http://gallium.inria.fr/~fpottier/menhir/ LR(1) parser generator for OCaml
Diffstat (limited to 'testing')
-rw-r--r--testing/ocaml-menhir/APKBUILD42
1 files changed, 42 insertions, 0 deletions
diff --git a/testing/ocaml-menhir/APKBUILD b/testing/ocaml-menhir/APKBUILD
new file mode 100644
index 0000000000..3d103c05f5
--- /dev/null
+++ b/testing/ocaml-menhir/APKBUILD
@@ -0,0 +1,42 @@
+# Contributor: Jakub Jirutka <jakub@jirutka.cz>
+# Maintainer: Jakub Jirutka <jakub@jirutka.cz>
+pkgname=ocaml-menhir
+_pkgname=menhir
+pkgver=20171222
+pkgrel=0
+pkgdesc="LR(1) parser generator for OCaml"
+url="http://gallium.inria.fr/~fpottier/menhir/"
+arch="all !x86 !armhf !s390x" # limited by ocaml aport
+license="GPL-2.0-only"
+makedepends="ocaml ocamlbuild ocaml-findlib"
+options="!check" # no tests provided
+subpackages="$pkgname-dev $pkgname-doc"
+source="http://gallium.inria.fr/~fpottier/menhir/$_pkgname-$pkgver.tar.gz"
+builddir="$srcdir/$_pkgname-$pkgver"
+
+build() {
+ cd "$builddir"
+ make PREFIX=/usr TARGET=native
+}
+
+package() {
+ cd "$builddir"
+
+ export OCAMLFIND_DESTDIR="$pkgdir/usr/lib/ocaml"
+ mkdir -p "$OCAMLFIND_DESTDIR"
+
+ make install PREFIX="$pkgdir/usr" TARGET=native
+
+ rm -Rf "$pkgdir"/usr/share/doc/menhir/demos
+}
+
+dev() {
+ pkgdesc="$pkgdesc (development files)"
+ depends="$pkgname=$pkgver-r$pkgrel"
+ license="LGPL-2.0-only-WITH-linking-exception"
+
+ mkdir -p "$subpkgdir"/usr/lib
+ mv "$pkgdir"/usr/lib/ocaml "$subpkgdir"/usr/lib/
+}
+
+sha512sums="b0fe2a48d1654822f31437500d76b5361657b32340fc86f012f3a7516ad2498a670df9fa889aa0f072ec9843703c18cd709e9a03fb6d14cf2e6e6cf30445e730 menhir-20171222.tar.gz"