gentoo resync : 14.07.2018

4 files changed, 70 insertions, 0 deletions

diff --git a/dev-ml/res/Manifest b/dev-ml/res/Manifest
new file mode 100644
index 000000000000..ff78bd730b86
--- /dev/null
+++ b/dev-ml/res/Manifest
@@ -0,0 +1,5 @@
+DIST res-4.0.7.tar.gz 74752 BLAKE2B 490e72f85618c03c4731051f043b1fc79f2e06684444e0f2a56f62fba74f790ce3339b2b1a9ad526b8e4df7e859b9a2342393d7a9970efffa2517d22f7393cad SHA512 4a1f00d76847eaaf0756fd20f7e1062e30ba7fd432621269f7d18b293abe0bc4a461ff077b5c4e0fe83710f113d6fe8846826b70faed8cb7fc6a5653814d297e
+DIST res-5.0.0.tbz 26967 BLAKE2B fc91ef0ccee3ca1577e394b7e162c68699a9e73901d24a041dca2f82077ad018f6bbe06a3ca1c634388e8fc2ae3335922636e339b598819864008a7f33937ffa SHA512 e2e8e8d3090efdcb4d0e99b6f71ac3d43dadc663e2a5028434e36a97cef0d624dfdfe93b88b959e798d348ff6080c3abd7143ccdbac81d500d953ad1ed6dcf92
+EBUILD res-4.0.7.ebuild 647 BLAKE2B f194ec02edfed2187ec507ff0b6eb2a60af006cd9c290fbb8eb07297e72c7bd9c96ee2b6d069dad3e7f6e7b8c4f4dec6d60cf9ef1046781e3d8b3ed305b508af SHA512 10d063932fbc99565e73d12e0c81023ff64e20ebc57114658f89344355f3076b44609fe7dfd9c7202ecc2590a039b5132abd15fec58543a8c0fcc338a425cbca
+EBUILD res-5.0.0.ebuild 518 BLAKE2B 3ec462eef034fe67668321e500989061b3bd68d7bfef5f1ac29b224e48650ee879cbeb7929bab3157d38428066d5736995b305aa10caa4ec235294aae966c163 SHA512 2650d66edb25fee682cec0cad3b80bf7509e05296800f1ea309d06e849da27e46963dd441e714857404f9d929a2b3948b3adc52d700a3a4ab1b10a908a2e2ce2
+MISC metadata.xml 387 BLAKE2B 095d6c24a37aeb91413a3ee6a8aa652c9cddf7e72ad7c521a7cdb4a21eabcea796ee3e56affc126285ffb89d8a57979cf743b9b03d34658d2864c2d485cb91da SHA512 31ac19d1fafee767d63a69db9e41974ea095adf5a431977d8f4bb7746b01e8710a0ab77e1787615756d6c669566192530a8ed3253bee436970d800e611e0569d
diff --git a/dev-ml/res/metadata.xml b/dev-ml/res/metadata.xml
new file mode 100644
index 000000000000..68042fc03bff
--- /dev/null
+++ b/dev-ml/res/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/res</remote-id>
+    <remote-id type="bitbucket">mmottl/res</remote-id>
+  </upstream>
+</pkgmetadata>
diff --git a/dev-ml/res/res-4.0.7.ebuild b/dev-ml/res/res-4.0.7.ebuild
new file mode 100644
index 000000000000..60ad01e84ab7
--- /dev/null
+++ b/dev-ml/res/res-4.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="Resizable Array and Buffer modules for O'Caml"
+HOMEPAGE="http://mmottl.github.io/res/"
+SRC_URI="https://github.com/mmottl/res/releases/download/v${PV}/${P}.tar.gz"
+LICENSE="LGPL-2.1-with-linking-exception"
+
+RDEPEND=""
+DEPEND="${RDEPEND}
+	>=dev-ml/findlib-1.5"
+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
+	fi
+}
diff --git a/dev-ml/res/res-5.0.0.ebuild b/dev-ml/res/res-5.0.0.ebuild
new file mode 100644
index 000000000000..b503e1c2eed3
--- /dev/null
+++ b/dev-ml/res/res-5.0.0.ebuild
@@ -0,0 +1,23 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=5
+
+inherit opam
+
+DESCRIPTION="Resizable Array and Buffer modules for O'Caml"
+HOMEPAGE="http://mmottl.github.io/res/"
+SRC_URI="https://github.com/mmottl/res/releases/download/${PV}/${P}.tbz"
+LICENSE="LGPL-2.1-with-linking-exception"
+
+RDEPEND=""
+DEPEND="${RDEPEND}
+	dev-ml/jbuilder
+	>=dev-ml/findlib-1.5"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~ppc ~x86"
+IUSE=""
+
+src_compile() {
+	jbuilder build @install || die
+}