diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2016-08-27 20:23:22 +0200 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2016-08-27 20:29:56 +0200 |
| commit | e87d912ae95d3922307ce2308a7a45dcf30c3a9a (patch) | |
| tree | dd7f2687dc2d94385486b3cac2d1b705bd70704e /dev-ml/menhir | |
| parent | media-libs/slv2: fix libdl and libraptor2 underlinking, bug #371747 (diff) | |
| download | gentoo-e87d912ae95d3922307ce2308a7a45dcf30c3a9a.tar.gz gentoo-e87d912ae95d3922307ce2308a7a45dcf30c3a9a.tar.bz2 gentoo-e87d912ae95d3922307ce2308a7a45dcf30c3a9a.zip | |
dev-ml/menhir: bump to 20160825
Package-Manager: portage-2.3.0
Diffstat (limited to 'dev-ml/menhir')
| -rw-r--r-- | dev-ml/menhir/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/menhir/menhir-20160825.ebuild | 37 |
2 files changed, 38 insertions, 0 deletions
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest index 533b706359a3..3b96c1ee3d21 100644 --- a/dev-ml/menhir/Manifest +++ b/dev-ml/menhir/Manifest @@ -1,2 +1,3 @@ DIST menhir-20160526.tar.gz 731071 SHA256 dac27e31b360331cbac92d6cafb917e52058cb5bb8301337c3c626a161c7dec4 SHA512 9f1dce28675263542558cd65249aee85d3ee9586b8779316d404074ee0fa0db4e5be6f4dbe1ec7b81e262d99a71294a44260e4eeba4aecc4a8bb4010bd0b12c1 WHIRLPOOL f5d059f4a2fb8a235e5be5571ab15d191fb8a8251901a71968ae1253f0872af2a9b3747ca5d2649e8c01d2b004b589b3336e6f114b8268fbfa2f0f223e9de2c0 DIST menhir-20160808.tar.gz 733224 SHA256 c583a425ad1152bb4f93e4a8de384e0174f423485463dc6ab6b6d7c070b77295 SHA512 162e69642ca34d7da078f14b4509ab88e158cc4ba5ee70a067b7a2a2ea444f7cad77244de4a179c4a00420442c537f662257f1ead03dc9b80c799da0073a94b9 WHIRLPOOL 80b7e5047619d6c791477677ac22b625cfed00056e62759f7a3d725fbb791fff26b852d7126d475426db84eb71c55b480812760f89d40b09672afc676b5488ea +DIST menhir-20160825.tar.gz 733364 SHA256 1c93fe44de140aeef25212fbc2d62aaa080e7bdb9902106820920f7a8a2fa849 SHA512 6672bf3a10c7cb3ac8a16162e782261e25411f5d7fe69195b720302989daa432c56c9ecf93a08d33e77b306cd0cdaaa4bc00430e642b4d2924cbeecb10bda050 WHIRLPOOL e6ce0ca104f69fedf6b22749db6400f963181497e940f7e3369e3bb9de115944e6a93350062797034c38f8ddcd6466cd44b74d3f60ca8f5f4e06a44a91194008 diff --git a/dev-ml/menhir/menhir-20160825.ebuild b/dev-ml/menhir/menhir-20160825.ebuild new file mode 100644 index 000000000000..bc466320f8fa --- /dev/null +++ b/dev-ml/menhir/menhir-20160825.ebuild @@ -0,0 +1,37 @@ +# Copyright 1999-2016 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +EAPI=5 + +inherit findlib eutils + +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" + +RDEPEND=">=dev-lang/ocaml-4.02:=[ocamlopt?]" +DEPEND="${RDEPEND} + dev-ml/ocamlbuild" + +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 +} |