summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2015-11-13 09:56:29 +0100
committerAlexis Ballier <aballier@gentoo.org>2015-11-13 09:56:29 +0100
commit9e5ff4087888e211a2d398ae141784208ca1cb42 (patch)
tree317ef60c34234b88c383badf7a4759af52e8b7d1 /dev-ml/menhir
parentdev-ruby/rails: add rails 4.2.5 (diff)
downloadgentoo-9e5ff4087888e211a2d398ae141784208ca1cb42.tar.gz
gentoo-9e5ff4087888e211a2d398ae141784208ca1cb42.tar.bz2
gentoo-9e5ff4087888e211a2d398ae141784208ca1cb42.zip
dev-ml/menhir: bump to 20151112.
Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-ml/menhir')
-rw-r--r--dev-ml/menhir/Manifest1
-rw-r--r--dev-ml/menhir/menhir-20151112.ebuild36
2 files changed, 37 insertions, 0 deletions
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 95a9ce18c2f..329de47b5f1 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -3,3 +3,4 @@ DIST menhir-20151023.tar.gz 671810 SHA256 2dfb642ba08f95afbb75f71b9bbdcf6733c0e8
DIST menhir-20151026.tar.gz 672165 SHA256 a735ebdfc3bc4ac132ea4f7c06814915576516915a80ae1c33c45a9368327355 SHA512 86fde7e955164861823dd5fac510235b0bb13f771528435495b3ff3a44bcd4837d2cd8085ba6c53e6e5eaf12f935749951cff09056cbb03a93cef062072fcf2a WHIRLPOOL 4327788dde765a4ea2c06637769626022a64352d36bee29fc615a07485efce2adeacb65267cb44f726203405ee23eea23affdde88e76109f1eb76bd3160dfcdc
DIST menhir-20151030.tar.gz 689132 SHA256 4f0a3e3afbc1488865c014dff81024775762c7bbc3ec080a07ee634fe00ba889 SHA512 f2f663a939974d73c42dd0e472bce75f3089013e29a795c54beec9c169a500f2fd038766d28230f08b556b5b64a5704f6dc4fcdfe824210d570ec6d2280cccdc WHIRLPOOL 99a7c5630645ce32a5c7368f8587d1d2812361424f176f849ec43e2fcecd3cd927fd5a715bb94b5e80ebdb5c2352d48ade6accd18059a6c1ff9696d19a4db4a4
DIST menhir-20151103.tar.gz 709436 SHA256 26350a2efd3ed756f74aa3dfdbf2b96116cbf7a2cf66fa0c965617422e4112d4 SHA512 33fdfe8993c983b865845248f3dc204fd0ccf1f6229b14dde4112e363ec0f0a5ad74e00dd3259ac0ff13972716eb0b945716def0c69ed7b2e6e6f51e2a492ef0 WHIRLPOOL c7ba4004609854e6dc4b6f88c08a7faef1581021e81de403911c30ef44a955a916626bbba1da01201a1b00300bd25d635dac34f4532ac8f84e22dd9c293ac6d1
+DIST menhir-20151112.tar.gz 727051 SHA256 06616e300ed2e5f4f2c74c58873fcd4b5f8f033b4f375f201049dafe4cd20e3a SHA512 121a932a0918f8fcc08dd86a758a7f791c4b527ef110cdbd33356d3317820ec849e6d33b23b60c948a9ff995e3ca858581adbaf2b5622c7ff6e99ae83ce8cf7d WHIRLPOOL d1ce225fa23d4834b67d63c6ec1b90fdfd7dd34ce1ef74c76dfaf82d797345ac48a695290724cd359d0844524f7a165ef2bd2a0ade0ef3de08f0cab653a74759
diff --git a/dev-ml/menhir/menhir-20151112.ebuild b/dev-ml/menhir/menhir-20151112.ebuild
new file mode 100644
index 00000000000..a8d4107fe61
--- /dev/null
+++ b/dev-ml/menhir/menhir-20151112.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
+}