summaryrefslogtreecommitdiff
path: root/dev-ml/pomap
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
committerV3n3RiX <venerix@redcorelinux.org>2018-07-14 21:03:06 +0100
commit8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch)
tree7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ml/pomap
parent30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff)
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/pomap')
-rw-r--r--dev-ml/pomap/Manifest7
-rw-r--r--dev-ml/pomap/metadata.xml12
-rw-r--r--dev-ml/pomap/pomap-3.0.6.ebuild30
-rw-r--r--dev-ml/pomap/pomap-3.0.7.ebuild30
-rw-r--r--dev-ml/pomap/pomap-4.0.0.ebuild21
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
+}