summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2015-10-26 13:21:20 +0100
committerAlexis Ballier <aballier@gentoo.org>2015-10-26 13:21:32 +0100
commitf1a45ce55d712906a2af7735dc1eb4c5bca85b77 (patch)
treef02cffed08ead30a4878d1f09b9298a7ee0b1eab /dev-ml
parentdev-ml/findlib: Bump to 1.5.6. (diff)
downloadgentoo-f1a45ce55d712906a2af7735dc1eb4c5bca85b77.tar.gz
gentoo-f1a45ce55d712906a2af7735dc1eb4c5bca85b77.tar.bz2
gentoo-f1a45ce55d712906a2af7735dc1eb4c5bca85b77.zip
dev-ml/menhir: Bump to 20151023.
Package-Manager: portage-2.2.23
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/menhir/Manifest1
-rw-r--r--dev-ml/menhir/menhir-20151023.ebuild36
2 files changed, 37 insertions, 0 deletions
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index c96de25010f3..92ea2ecbd24c 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -1 +1,2 @@
DIST menhir-20151012.tar.gz 627290 SHA256 c7d4e8cf8e3b009577794c5c01f590379201c77fdc61a832e714beffe7cf22be SHA512 04c10a171fdc24078b6340484314c771b97967a91f506a882bdae741bcc2464ccf3e7f5982339f8cc836abdb0066dc7bcd58a38edbc730a89daf935979fee79c WHIRLPOOL 49b8b0ff0e094e6a5429d747d4ced5ee5515a2f77812f508bd9da872653539ff5540639f6a5a812e4999a7a815bb62b9a6534a71f476dc495a0297ef8f89d737
+DIST menhir-20151023.tar.gz 671810 SHA256 2dfb642ba08f95afbb75f71b9bbdcf6733c0e8f81d69406373f1420c5cfeca8a SHA512 0e53365400e88e39d0d595beb594d53bf5614061dc9b0149ec20c00cd3188dd1568ddcca15e1a08dddce20244bebd6263871ab83f761c68c2c62fbedb0d6c980 WHIRLPOOL 1e4b9a32959f2c9e98c92bb75436650c26430f1664d2b663fd572a369c0ce6d5225caa3ea28faa9cee18162fead6481a9777eabf99d6694b999179046b98c7a7
diff --git a/dev-ml/menhir/menhir-20151023.ebuild b/dev-ml/menhir/menhir-20151023.ebuild
new file mode 100644
index 000000000000..a8d4107fe611
--- /dev/null
+++ b/dev-ml/menhir/menhir-20151023.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+
+inherit findlib
+
+DESCRIPTION="LR(1) parser generator for the OCaml language"
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/"
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz"
+
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE="examples +ocamlopt"
+
+DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]"
+RDEPEND="${DEPEND}"
+
+src_configure() {
+ if ! use ocamlopt ; then
+ export TARGET=byte
+ fi
+}
+
+src_compile() {
+ emake PREFIX="${EPREFIX}"/usr -j1
+}
+
+src_install() {
+ findlib_src_preinst
+ emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install
+ use examples && docompress -x /usr/share/doc/${PF}/demos
+ dodoc AUTHORS CHANGES
+}