diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2014-12-01 14:17:42 +0000 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2014-12-01 14:17:42 +0000 |
| commit | 031acad29ded859c7deefbd35063927c283d7a97 (patch) | |
| tree | c66bd59d73e4f220b778b9358ec45cca6dd900bd /dev-ml/menhir | |
| parent | Use python-r1 to avoid issues with python-single-r1 when depending on libpeas... (diff) | |
| download | historical-031acad29ded859c7deefbd35063927c283d7a97.tar.gz historical-031acad29ded859c7deefbd35063927c283d7a97.tar.bz2 historical-031acad29ded859c7deefbd35063927c283d7a97.zip | |
version bump
Signed-off-by: aballier@gentoo.org
Package-Manager: portage-2.2.14/cvs/Linux x86_64
Manifest-Sign-Key: 0x160F534A
Diffstat (limited to 'dev-ml/menhir')
| -rw-r--r-- | dev-ml/menhir/ChangeLog | 9 | ||||
| -rw-r--r-- | dev-ml/menhir/Manifest | 12 | ||||
| -rw-r--r-- | dev-ml/menhir/menhir-20140422.ebuild | 36 |
3 files changed, 50 insertions, 7 deletions
diff --git a/dev-ml/menhir/ChangeLog b/dev-ml/menhir/ChangeLog index e63aecfd2e59..e964b19def0b 100644 --- a/dev-ml/menhir/ChangeLog +++ b/dev-ml/menhir/ChangeLog @@ -1,6 +1,11 @@ # ChangeLog for dev-ml/menhir -# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-ml/menhir/ChangeLog,v 1.1 2013/02/07 20:36:44 aballier Exp $ +# 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 $ + +*menhir-20140422 (01 Dec 2014) + + 01 Dec 2014; Alexis Ballier <aballier@gentoo.org> +menhir-20140422.ebuild: + version bump *menhir-20130116 (07 Feb 2013) diff --git a/dev-ml/menhir/Manifest b/dev-ml/menhir/Manifest index c9c1b7a1fce9..551b82998dd8 100644 --- a/dev-ml/menhir/Manifest +++ b/dev-ml/menhir/Manifest @@ -2,13 +2,15 @@ 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 EBUILD menhir-20130116.ebuild 955 SHA256 6ad579fd62fb258749fd86ee07390994ca95abee5b596ec7380b9b690d59b364 SHA512 040e8ab846d1af1f3de9fcdf0a3a22cb94f26cd747a5b0b0684718f753ce675879d1d5be02f65d8ff8a08cd2cbdcabd39eee8a730f6eed0ab3a466bfcd675a66 WHIRLPOOL 8b72bff507fe4f67596a5d2f788ab692efb9e6771c66db37c41093c181dfea1f76ed594c22a49f1cadca5b916c9a897ba2217c0ef343357cbdc6f11db04e8ee2 -MISC ChangeLog 385 SHA256 f5b1c5af917a12df570dd8a2e385e8b02a2df27d5a966fa90805c56533ef7581 SHA512 2ae938e61ece075f917e90cd9408dae4b265f0116563ce0622dcd41a61450072e8953aa1d535c5196e4ed642f5075f0cd1707ca89db843032c7686d4f0ac0b9f WHIRLPOOL 2164efb867b40a28125d652f1da0c5fb35b255cd9bea59725fa360043de09126d1b050b3449707c5e26f6b0832ff3819bbd3b339a180a5c6fd95aa6882adaddb +EBUILD menhir-20140422.ebuild 955 SHA256 54b0fb2ff5cd15eaaf20c3cf1b7c7537054c925ff0929ff71b2c568805238e1f SHA512 4c7915ee65d7a0a7320a8ff63faa03dfe8427bcbe002a5016e73b72c570a03d88ccf48697512283c3db1dd8d4d9aa3f821c8616f7a8e6a4d3f05465fdabbd219 WHIRLPOOL 7f988f57acbe6a8900055f9631fa3e01a7a0f41fbd9c7738042245fb8feb894d806d0ce9d6cbffb21d000e532c704bb8a224fd38c676b9a963ff64a04738ff90 +MISC ChangeLog 510 SHA256 11a8cb3ad1c9cf998080e16489d9204bcc9241c852a64373c587ec90f6fd9ab8 SHA512 ba17dd45fb52371ef14cabbf8d617c89055a889ea64ee8bf4ba413b56ed01ba5c1c98c449a34c4bca16be8155c413d7b009fa9224b38a865b65eeefeba1baebc WHIRLPOOL c5b3a7cd52f243ad9e5d9090af16a1eb642dbb7f4ed06c9ade1c7c40b84050463ce883e701da57d8ff9a6dd0bc119ff491af6423edb6cde50a9748badf9ba537 MISC metadata.xml 155 SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 SHA512 a525f91dd332fc144c42d1437bdae9c889cbcece6294c2d2f4baf6a532ac2e13492736e75b41c83fac31033a9ae53c37deb96286a5ab8575611136617640952c WHIRLPOOL 71a9c7aaf4e268c65c0d1e30e343911ccbcf99ef8c23773abc2b3af8d58d9f7d5c09632805d8ba9050c09eef629f2b340db9eb9ba8b9cd2e5d655fce3f91fcb6 -----BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.19 (GNU/Linux) +Version: GnuPG v2 -iEYEAREIAAYFAlEUEF0ACgkQvFcC4BYPU0ozFACff1SK2Y4ZfCAsysslziradYcZ -5SwAn0z1oA2EWmQAiG6He2Xm9wN5F7qo -=sAqZ +iEYEAREIAAYFAlR8eIMACgkQvFcC4BYPU0p7nwCdHyKVIQjHDVAvkSyKRBS4sTqh +aG8An10gUqidF/o1fnaNkkgTrYcqT95e +=6FWL -----END PGP SIGNATURE----- diff --git a/dev-ml/menhir/menhir-20140422.ebuild b/dev-ml/menhir/menhir-20140422.ebuild new file mode 100644 index 000000000000..65813fe42c02 --- /dev/null +++ b/dev-ml/menhir/menhir-20140422.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-20140422.ebuild,v 1.1 2014/12/01 14:17:38 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-3.09:=[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 +} |