1 |
commit: 909ec352dc0780ce6b2afaf02c484f3b94a32d50 |
2 |
Author: Alexis Ballier <aballier <AT> gentoo <DOT> org> |
3 |
AuthorDate: Fri Oct 30 10:36:38 2015 +0000 |
4 |
Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org> |
5 |
CommitDate: Fri Oct 30 10:36:38 2015 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=909ec352 |
7 |
|
8 |
dev-ml/menhir: bump to 20151026. |
9 |
|
10 |
Fixes bug #564310 |
11 |
|
12 |
Package-Manager: portage-2.2.23 |
13 |
|
14 |
dev-ml/menhir/Manifest | 1 + |
15 |
dev-ml/menhir/menhir-20151026.ebuild | 36 ++++++++++++++++++++++++++++++++++++ |
16 |
2 files changed, 37 insertions(+) |
17 |
|
18 |
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest |
19 |
index 92ea2ec..db3f1e6 100644 |
20 |
--- a/dev-ml/menhir/Manifest |
21 |
+++ b/dev-ml/menhir/Manifest |
22 |
@@ -1,2 +1,3 @@ |
23 |
DIST menhir-20151012.tar.gz 627290 SHA256 c7d4e8cf8e3b009577794c5c01f590379201c77fdc61a832e714beffe7cf22be SHA512 04c10a171fdc24078b6340484314c771b97967a91f506a882bdae741bcc2464ccf3e7f5982339f8cc836abdb0066dc7bcd58a38edbc730a89daf935979fee79c WHIRLPOOL 49b8b0ff0e094e6a5429d747d4ced5ee5515a2f77812f508bd9da872653539ff5540639f6a5a812e4999a7a815bb62b9a6534a71f476dc495a0297ef8f89d737 |
24 |
DIST menhir-20151023.tar.gz 671810 SHA256 2dfb642ba08f95afbb75f71b9bbdcf6733c0e8f81d69406373f1420c5cfeca8a SHA512 0e53365400e88e39d0d595beb594d53bf5614061dc9b0149ec20c00cd3188dd1568ddcca15e1a08dddce20244bebd6263871ab83f761c68c2c62fbedb0d6c980 WHIRLPOOL 1e4b9a32959f2c9e98c92bb75436650c26430f1664d2b663fd572a369c0ce6d5225caa3ea28faa9cee18162fead6481a9777eabf99d6694b999179046b98c7a7 |
25 |
+DIST menhir-20151026.tar.gz 672165 SHA256 a735ebdfc3bc4ac132ea4f7c06814915576516915a80ae1c33c45a9368327355 SHA512 86fde7e955164861823dd5fac510235b0bb13f771528435495b3ff3a44bcd4837d2cd8085ba6c53e6e5eaf12f935749951cff09056cbb03a93cef062072fcf2a WHIRLPOOL 4327788dde765a4ea2c06637769626022a64352d36bee29fc615a07485efce2adeacb65267cb44f726203405ee23eea23affdde88e76109f1eb76bd3160dfcdc |
26 |
|
27 |
diff --git a/dev-ml/menhir/menhir-20151026.ebuild b/dev-ml/menhir/menhir-20151026.ebuild |
28 |
new file mode 100644 |
29 |
index 0000000..a8d4107 |
30 |
--- /dev/null |
31 |
+++ b/dev-ml/menhir/menhir-20151026.ebuild |
32 |
@@ -0,0 +1,36 @@ |
33 |
+# Copyright 1999-2015 Gentoo Foundation |
34 |
+# Distributed under the terms of the GNU General Public License v2 |
35 |
+# $Id$ |
36 |
+ |
37 |
+EAPI=5 |
38 |
+ |
39 |
+inherit findlib |
40 |
+ |
41 |
+DESCRIPTION="LR(1) parser generator for the OCaml language" |
42 |
+HOMEPAGE="http://gallium.inria.fr/~fpottier/menhir/" |
43 |
+SRC_URI="http://gallium.inria.fr/~fpottier/menhir/${P}.tar.gz" |
44 |
+ |
45 |
+LICENSE="QPL-1.0 LGPL-2-with-linking-exception" |
46 |
+SLOT="0/${PV}" |
47 |
+KEYWORDS="~amd64 ~x86" |
48 |
+IUSE="examples +ocamlopt" |
49 |
+ |
50 |
+DEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]" |
51 |
+RDEPEND="${DEPEND}" |
52 |
+ |
53 |
+src_configure() { |
54 |
+ if ! use ocamlopt ; then |
55 |
+ export TARGET=byte |
56 |
+ fi |
57 |
+} |
58 |
+ |
59 |
+src_compile() { |
60 |
+ emake PREFIX="${EPREFIX}"/usr -j1 |
61 |
+} |
62 |
+ |
63 |
+src_install() { |
64 |
+ findlib_src_preinst |
65 |
+ emake PREFIX="${ED}"/usr docdir="${ED}"/usr/share/doc/"${PF}" $(use examples || echo "DOCS=manual.pdf") install |
66 |
+ use examples && docompress -x /usr/share/doc/${PF}/demos |
67 |
+ dodoc AUTHORS CHANGES |
68 |
+} |