gentoo resync : 14.07.2018

4 files changed, 82 insertions, 0 deletions

diff --git a/dev-ml/alcotest/Manifest b/dev-ml/alcotest/Manifest
new file mode 100644
index 000000000000..28791629ef13
--- /dev/null
+++ b/dev-ml/alcotest/Manifest
@@ -0,0 +1,5 @@
+DIST alcotest-0.8.1.tar.gz 24358 BLAKE2B 4f905cb478183015355b7bed85b2b20de6880b64d6425a4804cf050dd95fe024e83d9c2f6b57f908bdf7eac650cd2133811219fd30de0c45fa0e66caa3178980 SHA512 76224df2d4923e666fd844a0735f2a23035454bb3c3aeb6a6f8d19376342f0f94f39a401d6225af3f90cddd2f65aa779ce87e42ee8d82e6b3ca33730d4277253
+DIST alcotest-0.8.2.tar.gz 25456 BLAKE2B 6f3362dd83d127600710a9efcf5428ce1d960a2a8798a533c3216d7c8934dadd38f672f383e45c0a0ab441e723b4c6477a3c92905e2351e81bbfda324e373e69 SHA512 df1cf5ab42e91a66cae2913504d6825f842169332b8673047faea769966f62d61cb1c288325a840211df0b22c31208566cf754b0816bfdf5d8ef34e8c5127668
+EBUILD alcotest-0.8.1.ebuild 618 BLAKE2B 12b3211fc4eceaed53dfcb7bef272d26e04a93eac89ec3dde2f0812b206db0dea61ffc9750ff0fb5e4579a88b21e578ef1bc61089ee39b93de2943cbfd18bffe SHA512 9e77c4d60b8b15365884905df7b55a8b87e30c731bc941aa097e4365bc0dd9934dee42260d526ee11783314890d309ee028bc773162fd0505d36f9502ecdae38
+EBUILD alcotest-0.8.2.ebuild 618 BLAKE2B 12b3211fc4eceaed53dfcb7bef272d26e04a93eac89ec3dde2f0812b206db0dea61ffc9750ff0fb5e4579a88b21e578ef1bc61089ee39b93de2943cbfd18bffe SHA512 9e77c4d60b8b15365884905df7b55a8b87e30c731bc941aa097e4365bc0dd9934dee42260d526ee11783314890d309ee028bc773162fd0505d36f9502ecdae38
+MISC metadata.xml 327 BLAKE2B c4e771cffb6f19821658bf42662709fc848f340910ee36a03da41af3c6c3607970901ef1377041a90b171be6ec56bbbdf9717dfde9cd3ec8f4c57c6fca206ee0 SHA512 190d8967c1d83d6b8a5b9f50af37fdafc2660d28408ef2331e7e75afdcc679a72c1fea8a23388417ee7aca7da494a492f800411e9b03ec13d6dbaa7e2db34f59
diff --git a/dev-ml/alcotest/alcotest-0.8.1.ebuild b/dev-ml/alcotest/alcotest-0.8.1.ebuild
new file mode 100644
index 000000000000..40aa58ad9a07
--- /dev/null
+++ b/dev-ml/alcotest/alcotest-0.8.1.ebuild
@@ -0,0 +1,33 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit opam
+
+DESCRIPTION="A lightweight and colourful test framework"
+HOMEPAGE="https://github.com/mirage/alcotest/"
+SRC_URI="https://github.com/mirage/alcotest/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="test"
+
+RDEPEND="
+	dev-ml/fmt:=
+	dev-ml/astring:=
+	dev-ml/cmdliner:=
+	dev-ml/result:=
+"
+DEPEND="${RDEPEND}
+	dev-ml/jbuilder
+	dev-ml/findlib"
+
+src_compile() {
+	jbuilder build -p alcotest || die
+}
+
+src_test() {
+	jbuilder runtest -p alcotest || die
+}
diff --git a/dev-ml/alcotest/alcotest-0.8.2.ebuild b/dev-ml/alcotest/alcotest-0.8.2.ebuild
new file mode 100644
index 000000000000..40aa58ad9a07
--- /dev/null
+++ b/dev-ml/alcotest/alcotest-0.8.2.ebuild
@@ -0,0 +1,33 @@
+# Copyright 1999-2017 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI="5"
+
+inherit opam
+
+DESCRIPTION="A lightweight and colourful test framework"
+HOMEPAGE="https://github.com/mirage/alcotest/"
+SRC_URI="https://github.com/mirage/alcotest/archive/${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="test"
+
+RDEPEND="
+	dev-ml/fmt:=
+	dev-ml/astring:=
+	dev-ml/cmdliner:=
+	dev-ml/result:=
+"
+DEPEND="${RDEPEND}
+	dev-ml/jbuilder
+	dev-ml/findlib"
+
+src_compile() {
+	jbuilder build -p alcotest || die
+}
+
+src_test() {
+	jbuilder runtest -p alcotest || die
+}
diff --git a/dev-ml/alcotest/metadata.xml b/dev-ml/alcotest/metadata.xml
new file mode 100644
index 000000000000..ffac9af607a7
--- /dev/null
+++ b/dev-ml/alcotest/metadata.xml
@@ -0,0 +1,11 @@
+<?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">mirage/alcotest</remote-id>
+	</upstream>
+</pkgmetadata>