commit: 0bb3e3705367ca9fa0f98ec8ce7f6a5eb8441749 Author: Alexis Ballier <aballier <AT> gentoo <DOT> org> AuthorDate: Tue Aug 16 11:45:08 2016 +0000 Commit: Alexis Ballier <aballier <AT> gentoo <DOT> org> CommitDate: Tue Aug 16 11:45:08 2016 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0bb3e370
dev-ml/menhir: bump to 20160808 Package-Manager: portage-2.3.0 dev-ml/menhir/Manifest | 1 + dev-ml/menhir/menhir-20160808.ebuild | 37 ++++++++++++++++++++++++++++++++++++ 2 files changed, 38 insertions(+) diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest index b61e530..533b706 100644 --- a/dev-ml/menhir/Manifest +++ b/dev-ml/menhir/Manifest @@ -1 +1,2 @@ DIST menhir-20160526.tar.gz 731071 SHA256 dac27e31b360331cbac92d6cafb917e52058cb5bb8301337c3c626a161c7dec4 SHA512 9f1dce28675263542558cd65249aee85d3ee9586b8779316d404074ee0fa0db4e5be6f4dbe1ec7b81e262d99a71294a44260e4eeba4aecc4a8bb4010bd0b12c1 WHIRLPOOL f5d059f4a2fb8a235e5be5571ab15d191fb8a8251901a71968ae1253f0872af2a9b3747ca5d2649e8c01d2b004b589b3336e6f114b8268fbfa2f0f223e9de2c0 +DIST menhir-20160808.tar.gz 733224 SHA256 c583a425ad1152bb4f93e4a8de384e0174f423485463dc6ab6b6d7c070b77295 SHA512 162e69642ca34d7da078f14b4509ab88e158cc4ba5ee70a067b7a2a2ea444f7cad77244de4a179c4a00420442c537f662257f1ead03dc9b80c799da0073a94b9 WHIRLPOOL 80b7e5047619d6c791477677ac22b625cfed00056e62759f7a3d725fbb791fff26b852d7126d475426db84eb71c55b480812760f89d40b09672afc676b5488ea diff --git a/dev-ml/menhir/menhir-20160808.ebuild b/dev-ml/menhir/menhir-20160808.ebuild new file mode 100644 index 0000000..bc46632 --- /dev/null +++ b/dev-ml/menhir/menhir-20160808.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 +}
