From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id B51AE1384B4 for ; Sun, 1 Nov 2015 10:07:24 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 5783621C08C; Sun, 1 Nov 2015 10:07:16 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id E341E21C08C for ; Sun, 1 Nov 2015 10:07:05 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 0A990340AE4 for ; Sun, 1 Nov 2015 10:07:05 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 670201D33 for ; Sun, 1 Nov 2015 10:07:01 +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: <1446369831.969d6f2b561d49c53176671852853a8dff40253a.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-20151030.ebuild X-VCS-Directories: dev-ml/menhir/ X-VCS-Committer: aballier X-VCS-Committer-Name: Alexis Ballier X-VCS-Revision: 969d6f2b561d49c53176671852853a8dff40253a X-VCS-Branch: master Date: Sun, 1 Nov 2015 10:07:01 +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: 8c886969-96e7-4106-9cbb-83be662ca399 X-Archives-Hash: 1e3f9cd75e49cf1683e83f27f2c43723 commit: 969d6f2b561d49c53176671852853a8dff40253a Author: Alexis Ballier gentoo org> AuthorDate: Sun Nov 1 09:23:51 2015 +0000 Commit: Alexis Ballier gentoo org> CommitDate: Sun Nov 1 09:23:51 2015 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=969d6f2b dev-ml/menhir: Bump to 20151030. Package-Manager: portage-2.2.23 dev-ml/menhir/Manifest | 1 + dev-ml/menhir/menhir-20151030.ebuild | 36 ++++++++++++++++++++++++++++++++++++ 2 files changed, 37 insertions(+) diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest index db3f1e6..75a863d 100644 --- a/dev-ml/menhir/Manifest +++ b/dev-ml/menhir/Manifest @@ -1,3 +1,4 @@ DIST menhir-20151012.tar.gz 627290 SHA256 c7d4e8cf8e3b009577794c5c01f590379201c77fdc61a832e714beffe7cf22be SHA512 04c10a171fdc24078b6340484314c771b97967a91f506a882bdae741bcc2464ccf3e7f5982339f8cc836abdb0066dc7bcd58a38edbc730a89daf935979fee79c WHIRLPOOL 49b8b0ff0e094e6a5429d747d4ced5ee5515a2f77812f508bd9da872653539ff5540639f6a5a812e4999a7a815bb62b9a6534a71f476dc495a0297ef8f89d737 DIST menhir-20151023.tar.gz 671810 SHA256 2dfb642ba08f95afbb75f71b9bbdcf6733c0e8f81d69406373f1420c5cfeca8a SHA512 0e53365400e88e39d0d595beb594d53bf5614061dc9b0149ec20c00cd3188dd1568ddcca15e1a08dddce20244bebd6263871ab83f761c68c2c62fbedb0d6c980 WHIRLPOOL 1e4b9a32959f2c9e98c92bb75436650c26430f1664d2b663fd572a369c0ce6d5225caa3ea28faa9cee18162fead6481a9777eabf99d6694b999179046b98c7a7 DIST menhir-20151026.tar.gz 672165 SHA256 a735ebdfc3bc4ac132ea4f7c06814915576516915a80ae1c33c45a9368327355 SHA512 86fde7e955164861823dd5fac510235b0bb13f771528435495b3ff3a44bcd4837d2cd8085ba6c53e6e5eaf12f935749951cff09056cbb03a93cef062072fcf2a WHIRLPOOL 4327788dde765a4ea2c06637769626022a64352d36bee29fc615a07485efce2adeacb65267cb44f726203405ee23eea23affdde88e76109f1eb76bd3160dfcdc +DIST menhir-20151030.tar.gz 689132 SHA256 4f0a3e3afbc1488865c014dff81024775762c7bbc3ec080a07ee634fe00ba889 SHA512 f2f663a939974d73c42dd0e472bce75f3089013e29a795c54beec9c169a500f2fd038766d28230f08b556b5b64a5704f6dc4fcdfe824210d570ec6d2280cccdc WHIRLPOOL 99a7c5630645ce32a5c7368f8587d1d2812361424f176f849ec43e2fcecd3cd927fd5a715bb94b5e80ebdb5c2352d48ade6accd18059a6c1ff9696d19a4db4a4 diff --git a/dev-ml/menhir/menhir-20151030.ebuild b/dev-ml/menhir/menhir-20151030.ebuild new file mode 100644 index 0000000..a8d4107 --- /dev/null +++ b/dev-ml/menhir/menhir-20151030.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 +}