summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlexis Ballier <aballier@gentoo.org>2014-12-16 09:18:03 +0000
committerAlexis Ballier <aballier@gentoo.org>2014-12-16 09:18:03 +0000
commita78d5c72fb89bd1b1b48f60bada1523ecea94ccc (patch)
tree9ca7c749ec84d69ee9e999db80ce65c78344b97d /dev-ml
parentversion bump (diff)
downloadhistorical-a78d5c72fb89bd1b1b48f60bada1523ecea94ccc.tar.gz
historical-a78d5c72fb89bd1b1b48f60bada1523ecea94ccc.tar.bz2
historical-a78d5c72fb89bd1b1b48f60bada1523ecea94ccc.zip
version bump
Signed-off-by: aballier@gentoo.org Package-Manager: portage-2.2.15/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/menhir/ChangeLog7
-rw-r--r--dev-ml/menhir/Manifest10
-rw-r--r--dev-ml/menhir/menhir-20141215.ebuild36
3 files changed, 48 insertions, 5 deletions
diff --git a/dev-ml/menhir/ChangeLog b/dev-ml/menhir/ChangeLog
index e964b19def0b..74c0fee3a929 100644
--- a/dev-ml/menhir/ChangeLog
+++ b/dev-ml/menhir/ChangeLog
@@ -1,6 +1,11 @@
# ChangeLog for dev-ml/menhir
# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
-# $Header: /var/cvsroot/gentoo-x86/dev-ml/menhir/ChangeLog,v 1.2 2014/12/01 14:17:38 aballier Exp $
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/menhir/ChangeLog,v 1.3 2014/12/16 09:17:59 aballier Exp $
+
+*menhir-20141215 (16 Dec 2014)
+
+ 16 Dec 2014; Alexis Ballier <aballier@gentoo.org> +menhir-20141215.ebuild:
+ version bump
*menhir-20140422 (01 Dec 2014)
diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest
index 551b82998dd8..40bab4e92041 100644
--- a/dev-ml/menhir/Manifest
+++ b/dev-ml/menhir/Manifest
@@ -3,14 +3,16 @@ Hash: SHA256
DIST menhir-20130116.tar.gz 406712 SHA256 5769f628dddcb45d123fc1cdb16ff2313f5d76cbb69363419c9dcf78f526f5a9 SHA512 414f22269b74b401617389365342ce8c4ff0a92a88ef859a0deec370bae3dc830df4c019cdb24d9044695b94f33fbf089ccea32269fdb4cacb093922ecb9ed88 WHIRLPOOL 4be4444f949a957b89a2add2a899f2c07661d60c27af4ad647345c778cafde0ea5cb5c2f9c8a79d5ae1b61607be9f282134000e10b3dccfe8dbc318cc1b3a643
DIST menhir-20140422.tar.gz 549129 SHA256 0da8c84fff1713f9bd666940be19e2be9d7ecdf2688a7d7b822428d3a27021ce SHA512 1c40664918671984a74d8341ad8b074d0871acebd9f6b3e06584d8092b3f1c67fcdb0dc13e707abc569940570d5f3282520e34990b2ed06732c047ecf3edc01f WHIRLPOOL 7848a60d842c4f10a5c47a9905cfa65bbe8ba26d4b88751025f1098465c351cde27c48cb8681dcaf5a1bb185f277855a85aad35b419772a1d47bd3e2de05ff33
+DIST menhir-20141215.tar.gz 556231 SHA256 2592967c123a31e1b6566ab9f6034e7a0a709d57d547097f05693baf96a46fa4 SHA512 1fff6b987016be37eaca0bb3fea7ec0c498c1448d076e991e1555718cf760318a8d710622af930175f234f49f8dd767ce62cc880c33458958ceeb1bda4817243 WHIRLPOOL 28e6018ce127b28e362aaf1fe030240253cb2ffb0a52d9b34e81c71882ae517376aa3df6c5d19c6db13819260f667f5708522486a74bc498bad3dac11378b56c
EBUILD menhir-20130116.ebuild 955 SHA256 6ad579fd62fb258749fd86ee07390994ca95abee5b596ec7380b9b690d59b364 SHA512 040e8ab846d1af1f3de9fcdf0a3a22cb94f26cd747a5b0b0684718f753ce675879d1d5be02f65d8ff8a08cd2cbdcabd39eee8a730f6eed0ab3a466bfcd675a66 WHIRLPOOL 8b72bff507fe4f67596a5d2f788ab692efb9e6771c66db37c41093c181dfea1f76ed594c22a49f1cadca5b916c9a897ba2217c0ef343357cbdc6f11db04e8ee2
EBUILD menhir-20140422.ebuild 955 SHA256 54b0fb2ff5cd15eaaf20c3cf1b7c7537054c925ff0929ff71b2c568805238e1f SHA512 4c7915ee65d7a0a7320a8ff63faa03dfe8427bcbe002a5016e73b72c570a03d88ccf48697512283c3db1dd8d4d9aa3f821c8616f7a8e6a4d3f05465fdabbd219 WHIRLPOOL 7f988f57acbe6a8900055f9631fa3e01a7a0f41fbd9c7738042245fb8feb894d806d0ce9d6cbffb21d000e532c704bb8a224fd38c676b9a963ff64a04738ff90
-MISC ChangeLog 510 SHA256 11a8cb3ad1c9cf998080e16489d9204bcc9241c852a64373c587ec90f6fd9ab8 SHA512 ba17dd45fb52371ef14cabbf8d617c89055a889ea64ee8bf4ba413b56ed01ba5c1c98c449a34c4bca16be8155c413d7b009fa9224b38a865b65eeefeba1baebc WHIRLPOOL c5b3a7cd52f243ad9e5d9090af16a1eb642dbb7f4ed06c9ade1c7c40b84050463ce883e701da57d8ff9a6dd0bc119ff491af6423edb6cde50a9748badf9ba537
+EBUILD menhir-20141215.ebuild 955 SHA256 2361bdbcd6db4ef48d07c7768dc444285e4064fe6747ee09b8a3fc8882646466 SHA512 ce88079ab857c20b711a31550c7316783c910c643c8e65231edf2433bded09b5ce726938422a71befb119ab85b5647474997c8fa009b55a68029f150e788bb42 WHIRLPOOL caef8d2c887b95eabcb84b8232cd7265ed950f32be08961b01c68d2950214ff2db16012ea18281ce54845bede97a6963dbd644134c8661d0e816ec0a3eca080f
+MISC ChangeLog 635 SHA256 7435ce1513f539696bc523fa1a5bdd8299600a98d6c9614ac552d1953c604731 SHA512 f192889f4ef65bb9639d776560fae1d4d7a5980572e4ba0b58c7fdf53d4aa4a91ce01632838c2e3911eaf4fc6a41ec89383e37caad46b3d707d7621eab92f368 WHIRLPOOL ef431fcb9e04b8f45477e99699eb77b079dc5c65d9e84a7367a4d836da1e33e480269dc6ac54d56777cad4b184c87cd2801ade7bd742e02be175ed6213b6e9df
MISC metadata.xml 155 SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 SHA512 a525f91dd332fc144c42d1437bdae9c889cbcece6294c2d2f4baf6a532ac2e13492736e75b41c83fac31033a9ae53c37deb96286a5ab8575611136617640952c WHIRLPOOL 71a9c7aaf4e268c65c0d1e30e343911ccbcf99ef8c23773abc2b3af8d58d9f7d5c09632805d8ba9050c09eef629f2b340db9eb9ba8b9cd2e5d655fce3f91fcb6
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
-iEYEAREIAAYFAlR8eIMACgkQvFcC4BYPU0p7nwCdHyKVIQjHDVAvkSyKRBS4sTqh
-aG8An10gUqidF/o1fnaNkkgTrYcqT95e
-=6FWL
+iEYEAREIAAYFAlSP+MgACgkQvFcC4BYPU0owlwCgx8Qr3OmXTC5kJdr5Gp8O2Zak
+nGkAnjN3vSghOg7FiY7X3Dl6Ut00TpYY
+=9Rn1
-----END PGP SIGNATURE-----
diff --git a/dev-ml/menhir/menhir-20141215.ebuild b/dev-ml/menhir/menhir-20141215.ebuild
new file mode 100644
index 000000000000..01bf1017988c
--- /dev/null
+++ b/dev-ml/menhir/menhir-20141215.ebuild
@@ -0,0 +1,36 @@
+# Copyright 1999-2014 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: /var/cvsroot/gentoo-x86/dev-ml/menhir/menhir-20141215.ebuild,v 1.1 2014/12/16 09:17:59 aballier Exp $
+
+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"
+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
+}