diff options
Diffstat (limited to 'dev-ml/pomap')
| -rw-r--r-- | dev-ml/pomap/Manifest | 7 | ||||
| -rw-r--r-- | dev-ml/pomap/metadata.xml | 12 | ||||
| -rw-r--r-- | dev-ml/pomap/pomap-3.0.6.ebuild | 30 | ||||
| -rw-r--r-- | dev-ml/pomap/pomap-3.0.7.ebuild | 30 | ||||
| -rw-r--r-- | dev-ml/pomap/pomap-4.0.0.ebuild | 21 |
5 files changed, 100 insertions, 0 deletions
diff --git a/dev-ml/pomap/Manifest b/dev-ml/pomap/Manifest new file mode 100644 index 000000000000..2bc334e637b7 --- /dev/null +++ b/dev-ml/pomap/Manifest @@ -0,0 +1,7 @@ +DIST pomap-3.0.6.tar.gz 75345 BLAKE2B 09fcce87bddcca92ea7c51a1c491ad9d9a17f46b38ca50e6b8759c29b802e89a0a9dbd2a9c4ab5aac30386acbba006924275f8a0c09cb7f20a2aac36dc2584ae SHA512 c9b91b7eb3716f4ba735928bb7d33202fe4b05d3908afad36cffa01ffa5fa8f860b3a9d57a0b5bbf2577bb84f3a5b464ec85375e488a3fd5f8d99d7bbcf141a8 +DIST pomap-3.0.7.tar.gz 80880 BLAKE2B f0d110b229650c9eb17d15e2ca8a6e254fe710e39a57c428ac4712379a09d261a4f082d27859b344fb6b2caabe165db08df3588996a9164928df78e6331babd4 SHA512 f4f59708c1a638211332444310aae903eead9dfe9900034698a19ead275fe8d95a32f74bd8e062f7d5d671bbd92cdf18052f26a1e2fd07724c37f60b304f66ba +DIST pomap-4.0.0.tbz 29684 BLAKE2B 3ec69da852294bad1894a1178d7bd9623cc4596a38b987885f25740d954f62cb5b1b45c63a6bbf157708ed1654123fd8cb6b20f706009091d0c47a4171ab6683 SHA512 bf249664c8a70629ca088ce6940e1db47e26c8ecbbdb28428d1a79a6d1ef4f93c48835d22d7219b57a6e60f1a64a96c23826af55720033a0ce669234b3d29d06 +EBUILD pomap-3.0.6.ebuild 680 BLAKE2B 9cebf82f54aa20b0526240c10d40d5d52b0af303d19a256b1f5d59ac66f2bd1fee0a7d997ca297401d1e06784c8b020b69d0b2fa519376f2b5795c453937d80e SHA512 b1348fc2b9ef1ebca4c08a0d551ec2e88df097782d63c77bfed873d4630c13bfa399e9f7109f288adf22b8d6eaed08b39f22d59ca332ab39bf82dee52ac71ba5 +EBUILD pomap-3.0.7.ebuild 683 BLAKE2B 0973968870b34b75601cf9ecd51885d21ebdfdcefcf8a4995f9a2a13822cd0a5adb55a7efbeebbdc8a7d3be58e08bfd9d828e7a5c725260521dbccae3cb5e22c SHA512 c4c8290ab83e495b77315881e247e076d3f91a6f84772433230ed45a73a0f4ac22e97603f07044e648fc49a7e117582f5fd259bbbe53e5d521e9a0a72ab55b13 +EBUILD pomap-4.0.0.ebuild 490 BLAKE2B 8d2973bb3249028bb0dcaf9609a2ddf8f5950aba955462763ab4cd66ae655cca5701d14bc12dab033db3c60592d4b2ce4ac9a11a5400b5bf48ad7ef865422c03 SHA512 6777f9b6e54e4fd8c6fae207284d5898d998700930f88579ba550748f3bfab43187291f2f3455f753ee9b001d1cafb3a170027d9bc9e3a64ba48db934189541e +MISC metadata.xml 391 BLAKE2B 4825eb597809ac363b011afba2bf2b2e5991edfa0ae0e7127d7a45a5f42e6334a3ec22b30714f80a540e88a99efad05c006c10b53840158b7472ad11d9e50596 SHA512 2ed495c5d41786616fa0b233c56ad8020e814a4899ee0e526c43cf246d87cbc8b7ad7bbd07dda3e07fc38ab5d6c608727eca422c2b3638725acc97f7423b6248 diff --git a/dev-ml/pomap/metadata.xml b/dev-ml/pomap/metadata.xml new file mode 100644 index 000000000000..036d8f8cc14f --- /dev/null +++ b/dev-ml/pomap/metadata.xml @@ -0,0 +1,12 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>Gentoo ML Project</name> + </maintainer> + <upstream> + <remote-id type="github">mmottl/pomap</remote-id> + <remote-id type="bitbucket">mmottl/pomap</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/pomap/pomap-3.0.6.ebuild b/dev-ml/pomap/pomap-3.0.6.ebuild new file mode 100644 index 000000000000..f1910f1b010f --- /dev/null +++ b/dev-ml/pomap/pomap-3.0.6.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=5 + +OASIS_BUILD_DOCS=1 + +inherit oasis + +DESCRIPTION="Partially Ordered Map ADT for O'Caml" +HOMEPAGE="http://mmottl.github.io/pomap/" +SRC_URI="https://github.com/mmottl/pomap/releases/download/v${PV}/${P}.tar.gz" +LICENSE="LGPL-2.1-with-linking-exception" + +DEPEND="dev-ml/camlp4:=" +RDEPEND="${DEPEND}" +SLOT="0/${PV}" +KEYWORDS="amd64 ppc x86" +IUSE="examples" + +DOCS=( "AUTHORS.txt" "CHANGES.txt" "README.md" ) + +src_install() { + oasis_src_install + if use examples ; then + insinto /usr/share/doc/${PF} + doins -r examples + docompress -x /usr/share/doc/${PF}/examples + fi +} diff --git a/dev-ml/pomap/pomap-3.0.7.ebuild b/dev-ml/pomap/pomap-3.0.7.ebuild new file mode 100644 index 000000000000..843be10b3fb5 --- /dev/null +++ b/dev-ml/pomap/pomap-3.0.7.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=5 + +OASIS_BUILD_DOCS=1 + +inherit oasis + +DESCRIPTION="Partially Ordered Map ADT for O'Caml" +HOMEPAGE="http://mmottl.github.io/pomap/" +SRC_URI="https://github.com/mmottl/pomap/releases/download/v${PV}/${P}.tar.gz" +LICENSE="LGPL-2.1-with-linking-exception" + +DEPEND="dev-ml/camlp4:=" +RDEPEND="${DEPEND}" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc ~x86" +IUSE="examples" + +DOCS=( "AUTHORS.txt" "CHANGES.txt" "README.md" ) + +src_install() { + oasis_src_install + if use examples ; then + insinto /usr/share/doc/${PF} + doins -r examples + docompress -x /usr/share/doc/${PF}/examples + fi +} diff --git a/dev-ml/pomap/pomap-4.0.0.ebuild b/dev-ml/pomap/pomap-4.0.0.ebuild new file mode 100644 index 000000000000..47b9be24bf99 --- /dev/null +++ b/dev-ml/pomap/pomap-4.0.0.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=5 + +inherit opam + +DESCRIPTION="Partially Ordered Map ADT for O'Caml" +HOMEPAGE="http://mmottl.github.io/pomap/" +SRC_URI="https://github.com/mmottl/pomap/releases/download/${PV}/${P}.tbz" +LICENSE="LGPL-2.1-with-linking-exception" + +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc ~x86" +IUSE="" +RDEPEND="" +DEPEND="${RDEPEND} dev-ml/jbuilder" + +src_compile() { + jbuilder build @install || die +} |