diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-05 00:07:56 +0100 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-03-05 00:14:26 +0100 |
| commit | 17b424dbe93716ac7aeb167c53f9c25c89531787 (patch) | |
| tree | 112a2c57a2c5d9528ad8a6f5289d996cbfc18713 /testing | |
| parent | dbf104a03a2990bdd4e3c875cd657011bbf2620d (diff) | |
| download | aports-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/APKBUILD | 42 |
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" |