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 | |
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')
-rw-r--r-- | dev-ml/async/ChangeLog | 7 | ||||
-rw-r--r-- | dev-ml/async/Manifest | 10 | ||||
-rw-r--r-- | dev-ml/async/async-112.01.00.ebuild | 40 | ||||
-rw-r--r-- | dev-ml/async_extra/ChangeLog | 8 | ||||
-rw-r--r-- | dev-ml/async_extra/Manifest | 10 | ||||
-rw-r--r-- | dev-ml/async_extra/async_extra-112.01.00.ebuild | 38 | ||||
-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 |
9 files changed, 153 insertions, 17 deletions
diff --git a/dev-ml/async/ChangeLog b/dev-ml/async/ChangeLog index 5e867350df7d..118788d3e184 100644 --- a/dev-ml/async/ChangeLog +++ b/dev-ml/async/ChangeLog @@ -1,6 +1,11 @@ # ChangeLog for dev-ml/async # Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-ml/async/ChangeLog,v 1.13 2014/11/28 18:05:22 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-ml/async/ChangeLog,v 1.14 2014/12/01 14:15:40 aballier Exp $ + +*async-112.01.00 (01 Dec 2014) + + 01 Dec 2014; Alexis Ballier <aballier@gentoo.org> +async-112.01.00.ebuild: + version bump 28 Nov 2014; Alexis Ballier <aballier@gentoo.org> async-111.25.00.ebuild: update deps for ocaml 4.02 diff --git a/dev-ml/async/Manifest b/dev-ml/async/Manifest index e0b449975c40..9e6d90f66c73 100644 --- a/dev-ml/async/Manifest +++ b/dev-ml/async/Manifest @@ -3,14 +3,16 @@ Hash: SHA256 DIST async-110.01.00.tar.gz 79099 SHA256 7c53ff8a1ac2190f00e61f7c446aa0b5dc9db26d6c8dfe6347499b7d54a96399 SHA512 4f07dae38b5c52180a43a84ed38ffbb4392eead4660d8671e68abbb52bf7a738e096d595761cc19cee917b74cc914c5e52cff01b42b597fc2021a81e588c09c5 WHIRLPOOL 12a9ff9bf7ac8c614d6418d481f5a6c2e195b0f083ee61131ba39d1e10dc9b1935a19a79b86e707ff9002eda440d12cd9411c5d314f9531b8db952157f99d937 DIST async-111.25.00.tar.gz 80713 SHA256 9f233036860de71ea6c2d032bd1d4a8f78a637d68777046461b1edfa13847ba0 SHA512 b243ae262934f79f8e2e696e55567916cf70a29bfded7baf6786ee0600f2b7a476591606bc267c6ec49402b2c1719e7676aa51e5bbe34492a0c497df4ba49395 WHIRLPOOL f7d96fc5b3458db375aab657df3fbdfe94d3b57c8df8fee987dffbad684817936617b3cf9bd492ae2a43a57472351d130cf6f3385f991510c9fa14751b6b0ec4 +DIST async-112.01.00.tar.gz 81076 SHA256 7d4a0efe7a51b2ee5ce8892200be054ea3690db24c53b68bdb33f0d4c9268ddb SHA512 30d0de83d3b81c8b1acc510ae15611abd90aa75f504a245f6bca35d43f68b244f021eee804fe7c6d84f8a8fbcb878a6a9ca2a74d0801bb0e3cb6514dd52c6a62 WHIRLPOOL 991872e3475c7e897d55d55607d774afb33dbd1edfffe295cc54d95cffad3ecc4b0ab95de98ab505c98667061df37316a2b4ba3568b142c4bbe8eec06654b43b EBUILD async-110.01.00.ebuild 963 SHA256 ea010cab8f1307603f38cf923b7c1e78d099be9979c5e51ec2d49708ad8b6d57 SHA512 74f86a119e864bb720cc7fca498b4f1a2f2ff0f3ce6cc90ff8d5776c6257d163348de11760b3b41485969407137a8a7bcd9a56a866160232a1b8876c60963722 WHIRLPOOL 2b766ae3fe756e616219a8362e3932c25d91f05846eb892c513472a18d4e75c43b97f00766f940fc3dae1c5fe0a11ab6073469f0e8852283bc3c5837205e9867 EBUILD async-111.25.00.ebuild 1028 SHA256 ec8886bd4fdb3c541e7630f431154baf8238d99ef2593c4ec2277ef841fb875b SHA512 7871a6c156b4fbcafde36a08089007945cbdf3d095a8ce6c51fdc54ebd105f8f85a0141a018b31252d43e00b24b6bbc07dda5abe8f44168b5075d710f540ecda WHIRLPOOL dfcbfb08288ed69b05f1c4342644ccea40a12ef4344fcdf7e9d7fe61ca15bd9fe525cbafc0735c5f4d569599a7ada9e93e2a91f8cec7446654fc1b1bb219a49b -MISC ChangeLog 1843 SHA256 d8fd6b0d940359ad9111eaacb531472e436413c762a847e0e25bb850ba3f86e3 SHA512 320e7adf37cab00de586ed293bc8ab0514e676e6e4f4b7b8f1c9b5dc9818b6adebb12573e7dfb00f6a93f8890d3610d98fd7f2f6e177ef71726365f76b8710b5 WHIRLPOOL 17248efc6a6eb4a8512442db26d67ca39094bb02f154baea0e454d6bf432dd49e54f1d8b4cab0cc49ab82e3037665ff6101c9a768cfdd3c5034933d7e06ba9ac +EBUILD async-112.01.00.ebuild 998 SHA256 b91c904375ff540265250d24e8b0c5f8c1a09dcc8baf277a1b2163dcb46a1ca6 SHA512 2c519a17269e1f2a1ce3ca013a76be81bfd0e781ccfdbdd46c1eebf4bbd6921ecc83aa82cac12dc9e1088fd2b90fb78bfb94295f34d39bc6eff64f532a0b9c0b WHIRLPOOL 0f61132404558974da63d97428ea6d71008ec6e56be1bb5e5a5b0a3c46d8d0e056fc0e0877104e5b940a1a9b018f60e4927a529135c0b15bdd01ddbfbec16bab +MISC ChangeLog 1968 SHA256 23fc0d76400ec6d34781c3a53ffc3c9a7c67f3e3eb2aeeffe02533e7089bb134 SHA512 f43f76871ccd49b1ee58312350a4cf69307c3afe17d5139774bf1960d58669ebb44637889618827d0b363f853d30982d7d4a8378c9acd3ad9bd2182cafc163b6 WHIRLPOOL f871eb5c83fce0e0e05c4f0caf364dfc712e1d952b3929072414ac09c2cb0e9cd5547f346f1ed620321a6b62fb510d862be88fd26b247110ffe84c1ec23106a0 MISC metadata.xml 155 SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 SHA512 a525f91dd332fc144c42d1437bdae9c889cbcece6294c2d2f4baf6a532ac2e13492736e75b41c83fac31033a9ae53c37deb96286a5ab8575611136617640952c WHIRLPOOL 71a9c7aaf4e268c65c0d1e30e343911ccbcf99ef8c23773abc2b3af8d58d9f7d5c09632805d8ba9050c09eef629f2b340db9eb9ba8b9cd2e5d655fce3f91fcb6 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 -iEYEAREIAAYFAlR4uWMACgkQvFcC4BYPU0qg8ACcDKxq/QvDhRcBzJh3CNLlzzXu -RSwAnRE9gWYoHnEWsMYlewBZg6PaLi8l -=AB3k +iEYEAREIAAYFAlR8eA0ACgkQvFcC4BYPU0qZLACgyY9lB+Marf3zvEhK7xx54viN +DVAAn2FmzifP9hHOI38ExTGb1v54NXH7 +=McNS -----END PGP SIGNATURE----- diff --git a/dev-ml/async/async-112.01.00.ebuild b/dev-ml/async/async-112.01.00.ebuild new file mode 100644 index 000000000000..2cfe3ef1269a --- /dev/null +++ b/dev-ml/async/async-112.01.00.ebuild @@ -0,0 +1,40 @@ +# Copyright 1999-2014 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-ml/async/async-112.01.00.ebuild,v 1.1 2014/12/01 14:15:40 aballier Exp $ + +EAPI="5" + +OASIS_BUILD_DOCS=1 +OASIS_BUILD_TESTS=1 + +inherit oasis + +MY_P=${PN/-/_}-${PV} +DESCRIPTION="Jane Street Capital's asynchronous execution library" +HOMEPAGE="http://www.janestreet.com/ocaml" +SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV}/individual/${MY_P}.tar.gz + http://dev.gentoo.org/~aballier/distfiles/${MY_P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="examples" + +RDEPEND=">=dev-lang/ocaml-4.00.0:= + >=dev-ml/async_kernel-${PV}:= + >=dev-ml/async_unix-${PV}:= + >=dev-ml/async_extra-${PV}:= + dev-ml/camlp4:= + " +DEPEND="${RDEPEND} + test? ( >=dev-ml/ounit-1.0.2 dev-ml/core_bench )" + +S="${WORKDIR}/${MY_P}" + +src_install() { + oasis_src_install + if use examples ; then + dodoc -r examples + docompress -x /usr/share/doc/${PF}/examples + fi +} diff --git a/dev-ml/async_extra/ChangeLog b/dev-ml/async_extra/ChangeLog index 9bd708a6aed6..c046ef184e65 100644 --- a/dev-ml/async_extra/ChangeLog +++ b/dev-ml/async_extra/ChangeLog @@ -1,6 +1,12 @@ # ChangeLog for dev-ml/async_extra # Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/dev-ml/async_extra/ChangeLog,v 1.13 2014/11/28 18:04:48 aballier Exp $ +# $Header: /var/cvsroot/gentoo-x86/dev-ml/async_extra/ChangeLog,v 1.14 2014/12/01 14:13:28 aballier Exp $ + +*async_extra-112.01.00 (01 Dec 2014) + + 01 Dec 2014; Alexis Ballier <aballier@gentoo.org> + +async_extra-112.01.00.ebuild: + version bump 28 Nov 2014; Alexis Ballier <aballier@gentoo.org> async_extra-111.28.00.ebuild: diff --git a/dev-ml/async_extra/Manifest b/dev-ml/async_extra/Manifest index 5f373d0d3be9..03d56b0c1e99 100644 --- a/dev-ml/async_extra/Manifest +++ b/dev-ml/async_extra/Manifest @@ -3,14 +3,16 @@ Hash: SHA256 DIST async_extra-110.01.00.tar.gz 126865 SHA256 36c7b48ed9843e23db8c15e5c52bfc6170af4e1df2398d3aaa8e4f1f20c30207 SHA512 1d9ace56001bf04aa62340a2ccf919b49f2115f583f3f2afb58d4f32e2adbd2755e4936e59a7ca6434195b97a0bfd6ff4c69b6af842b8663b0ea6c3b87763648 WHIRLPOOL 1346402436b2c26f9026e22d9d5c767db0a2eb0dd0d773562788dd0a8fb6ee7171e889c5b0df9842bc86ef4ec340ee43a073818707453d17ae6140852ae9a585 DIST async_extra-111.28.00.tar.gz 145771 SHA256 5eb733332a3c4832dbe438ebaab82c60fcfefa52e3ddbd8ef042534ec0a855bc SHA512 596f112a4f7285be7a32a006adbc2b272ad86325cd021f3ca9c8e08e1e49318b9b30b145a3b9ddad340a1957aa85673720ef72fa7a8009089e0f16ef66b61b5c WHIRLPOOL 3d73c345220ceb0d054a0fd7443533d331a4621d6a61c520fd600a3febe6ec3232cb6a5148dc483dd3ff804f70c896af38d448c5b7833b3aa5193c20139c22dd +DIST async_extra-112.01.00.tar.gz 147996 SHA256 cfb7debf999ece1b448206c970a08239b39191ec549208998e085e6adeca5d04 SHA512 52e9239d72a5ed83e502f929479ff305f386c36acd5dfce3ab956279e6193c6e53ae959ff2b3e79aaff1a203c6585be3c3e9e9ce0d874422a834d32dadfd89c2 WHIRLPOOL 1537d05f5570f73b531eb5f72b75a2b6c70ec6ee1ece0cba3b651dda6daaf7d4a49c05dfd3e06ac83b85535e08bf70861c944e1099a4421e8bb96b1a87c34f1f EBUILD async_extra-110.01.00.ebuild 998 SHA256 a8b56683ba9718cf263b8999e4f523c24ee849e5f77f2abc9a97bd0b9842b05c SHA512 fb4e0a26abfb10af176de4b3b6b96a305e45d9ac804e9a6d5d8568913c0a680e4d8615b30ca0f3055847073c3661cade83a6c8bd7ca125d752e3604917e6539e WHIRLPOOL ee97b89c13d0d0e074a1ec9f7e6f15e18d68aad18a4680b162f72f42d80e1fccc5c4149e7cbbebfa6cea764bfabed8cc51473067af8b141f492787c897adda12 EBUILD async_extra-111.28.00.ebuild 1045 SHA256 052c038dad0332ce91919fe01923e5bdcd7dd53d0cdbcd2fc6c4bb5fce2331e6 SHA512 4aba356aacef4da96e4a397695b577cdf089492af18dc87537b667b36eda9bb0e0cf7aa1429c1b9253a45d767ded941481988b9ce2209d99703e505d962ad607 WHIRLPOOL ae392a492b9e651031660da80bc65f771920a3513c112015ae175c934ec788809ec5767f036d7390e87f0711e2305d9a915969a67a3064808f10e56ccb0b68f1 -MISC ChangeLog 2031 SHA256 888aadc8551fa33070ea6c198a81eaf30d5bb7fec6a051bee137a609d32b0508 SHA512 e3bf60f9040c1ed90433fb2f20bae1caa681eeb262a45492ad56309c236e2f44cc2c7ef3befc35eb0a7bc153f764e87114b12dc9da5329ceaf196bcead978e9f WHIRLPOOL a6cef7e08c9509f09b5c5eb3a8679bfe0ccdfe26d859efcea6ffb98734640a139f93e91ee1f3914f14909cded7a383ceb54559ffc63cd09eaf48c448d64add26 +EBUILD async_extra-112.01.00.ebuild 1015 SHA256 67617528a78f848d4556e8263b4073a0559e936ae2ae14f6bc7187d2a62cb5d8 SHA512 a3b687feba740c13e9bdf1ade143b90bb83a6ff4efc3338323f52b6406d28df9ad5ee5b8e26c8617afab77a9bae3ecb4d8a3d66c066f6ac2d94e03fb6a024e7b WHIRLPOOL 509c94e546a63fe6988a8dc1f24cf785357b3c3f6094fb537b56e25af4240966e7fa3ae08152e9b896e8f6e3d550f51c67ff91b500ebd609e6679716049cdb2d +MISC ChangeLog 2170 SHA256 e0f9b54de3c5e4d017490f17f313df93fcd3941b6538fe4a1eb79014261b6b07 SHA512 fb48a044dc4a5abbc1af3bec2b40c5f7beb83fcefdded72a945cf44e5eecbd94f0ce46233add85d05ac823d3ee27eb81ae83b12a898cc734ba45acce2020378b WHIRLPOOL e66651b7b5c35579bbd992756faa5cab2e0b4e8b76cce96175df425473d0ccc5706368a2e4b6d74f91f5427637b2fba72ec9e9f9319a6068950257a64f06df2e MISC metadata.xml 155 SHA256 118048376ebb76f57628b0819f3de4856e73959c2578c88715d37ea2d1e0af81 SHA512 a525f91dd332fc144c42d1437bdae9c889cbcece6294c2d2f4baf6a532ac2e13492736e75b41c83fac31033a9ae53c37deb96286a5ab8575611136617640952c WHIRLPOOL 71a9c7aaf4e268c65c0d1e30e343911ccbcf99ef8c23773abc2b3af8d58d9f7d5c09632805d8ba9050c09eef629f2b340db9eb9ba8b9cd2e5d655fce3f91fcb6 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 -iEYEAREIAAYFAlR4uUEACgkQvFcC4BYPU0qYagCgw8aeSJAeLP6AmKco3J2RF3u2 -glUAniPAQzxQUUgdem3ksoJpa7VCZE7J -=jDTb +iEYEAREIAAYFAlR8d4kACgkQvFcC4BYPU0riFACdEoBehtKmGyKXvbyPyjfTIvXK +qiEAnRWwGcHBuSdj7S5s5ySvKJYnVHa1 +=T7gE -----END PGP SIGNATURE----- diff --git a/dev-ml/async_extra/async_extra-112.01.00.ebuild b/dev-ml/async_extra/async_extra-112.01.00.ebuild new file mode 100644 index 000000000000..97a311f585ed --- /dev/null +++ b/dev-ml/async_extra/async_extra-112.01.00.ebuild @@ -0,0 +1,38 @@ +# Copyright 1999-2014 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-ml/async_extra/async_extra-112.01.00.ebuild,v 1.1 2014/12/01 14:13:28 aballier Exp $ + +EAPI="5" + +OASIS_BUILD_DOCS=1 + +inherit oasis + +MY_P=${PN/-/_}-${PV} +DESCRIPTION="Jane Street Capital's asynchronous execution library (extra)" +HOMEPAGE="http://www.janestreet.com/ocaml" +SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV}/individual/${MY_P}.tar.gz + http://dev.gentoo.org/~aballier/distfiles/${MY_P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +DEPEND=">=dev-lang/ocaml-4.00.0:= + >=dev-ml/sexplib-109.20.00:= + >=dev-ml/fieldslib-109.20.00:= + >=dev-ml/bin-prot-109.15.00:= + >=dev-ml/pa_ounit-109.18.00:= + >=dev-ml/pipebang-109.15.00:= + >=dev-ml/core-${PV}:= + >=dev-ml/async_kernel-${PV}:= + >=dev-ml/async_unix-${PV}:= + dev-ml/custom_printf:= + dev-ml/herelib:= + dev-ml/pa_test:= + dev-ml/camlp4:= + " +RDEPEND="${DEPEND}" + +S="${WORKDIR}/${MY_P}" 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 +} |