From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id BD237139695 for ; Wed, 19 Apr 2017 09:09:37 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 1B737E0CB6; Wed, 19 Apr 2017 09:09:35 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id ED64BE0CB9 for ; Wed, 19 Apr 2017 09:09:34 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 1B491341689 for ; Wed, 19 Apr 2017 09:09:34 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id CA2717435 for ; Wed, 19 Apr 2017 09:09:31 +0000 (UTC) From: "Alexis Ballier" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Alexis Ballier" Message-ID: <1492592950.93273d1b3ec2fbac0a73c99ff4eadb91f7adabb8.aballier@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/menhir/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-ml/menhir/Manifest dev-ml/menhir/menhir-20170418.ebuild X-VCS-Directories: dev-ml/menhir/ X-VCS-Committer: aballier X-VCS-Committer-Name: Alexis Ballier X-VCS-Revision: 93273d1b3ec2fbac0a73c99ff4eadb91f7adabb8 X-VCS-Branch: master Date: Wed, 19 Apr 2017 09:09:31 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Archives-Salt: 1d9b94e1-d5e1-43f4-84a5-2ef6be517331 X-Archives-Hash: d91808e1f37c30ffd7eada2f91ee3857 commit: 93273d1b3ec2fbac0a73c99ff4eadb91f7adabb8 Author: Alexis Ballier gentoo org> AuthorDate: Wed Apr 19 08:41:51 2017 +0000 Commit: Alexis Ballier gentoo org> CommitDate: Wed Apr 19 09:09:10 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=93273d1b dev-ml/menhir: bump to 20170418 Package-Manager: Portage-2.3.5, Repoman-2.3.2 dev-ml/menhir/Manifest | 1 + dev-ml/menhir/menhir-20170418.ebuild | 36 ++++++++++++++++++++++++++++++++++++ 2 files changed, 37 insertions(+) diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest index d91ea6bef95..dc1d1efb31f 100644 --- a/dev-ml/menhir/Manifest +++ b/dev-ml/menhir/Manifest @@ -1 +1,2 @@ DIST menhir-20170101.tar.gz 738131 SHA256 99696f365511e0440c18d295b7073a13886c5b594e1875f5967ad897a2216a46 SHA512 810d9863873519b9052464e522894579ffd2f9685851ba32c34cf772570710e7dde2a4629ab6407c2404d2587132488aeebed97db2dad1a456e28104c230bbac WHIRLPOOL 427cb187e5b57f51fe57df519f1732a4f827d0090705e70feecfe62f06e94a95d5e8c5e4b7b9e31f1c199f7c7f7dcfd6f48a3d29d0c8f66548761d85f1c64514 +DIST menhir-20170418.tar.gz 1128319 SHA256 31deadeef2129ffcbdd78717007e13f87031432e6c3601f7e829bb0e5f9c7d2b SHA512 b261a0014c4b5c79d8e439c708d59f3448a6f7a7a0f5390ac319793bdb3d4a2d3774dd9e8e8151fb8208a597aec86422f24d48a2f1809751e3d12d13e14620b5 WHIRLPOOL 7b0f299c4494a54d137e8433c4f8b7440469f55501793ea403a6f1a4ef3a174c4e14f11ce5ca3d2938b44f683f7424879947c1aa9b8a7053a0727f423f236771 diff --git a/dev-ml/menhir/menhir-20170418.ebuild b/dev-ml/menhir/menhir-20170418.ebuild new file mode 100644 index 00000000000..25640fb8917 --- /dev/null +++ b/dev-ml/menhir/menhir-20170418.ebuild @@ -0,0 +1,36 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +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 README.md CHANGES.md +}