commit: 51759dc0249e17852d99e32f1e5d3a19596c9508
Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
AuthorDate: Sat Apr 9 13:59:38 2022 +0000
Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
CommitDate: Fri Apr 15 20:34:20 2022 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=51759dc0
dev-ml/diet: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>
dev-ml/diet/Manifest | 1 +
dev-ml/diet/diet-0.4.ebuild | 26 ++++++++++++++++++++++++++
dev-ml/diet/metadata.xml | 11 +++++++++++
3 files changed, 38 insertions(+)
diff --git a/dev-ml/diet/Manifest b/dev-ml/diet/Manifest
new file mode 100644
index 000000000..58c0bcc7d
--- /dev/null
+++ b/dev-ml/diet/Manifest
@@ -0,0 +1 @@
+DIST diet-0.4.tar.gz 10139 BLAKE2B
df7e3a06f90ced220a2fecff71c0c0c1d61a3bf6bd27cff80712a41e81bd6db4f7afc385cb0ce20d0077831975dd8c7d3d0888fcb9dd9809bdf9478c08ad2d7d
SHA512
a8e122ddd343f6d9130169e1b066578f555d7eb2f0795a4603ba6ee6a31ad1ed2a1cc0a3149ac90d3995a7d8f5e770c56d9002160fa01b35bc16d10b9536ce97
diff --git a/dev-ml/diet/diet-0.4.ebuild b/dev-ml/diet/diet-0.4.ebuild
new file mode 100644
index 000000000..aece1850f
--- /dev/null
+++ b/dev-ml/diet/diet-0.4.ebuild
@@ -0,0 +1,26 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+MYPN="ocaml-${PN}"
+
+DESCRIPTION="A simple implementation of Discrete Interval Encoding Trees"
+HOMEPAGE="https://github.com/mirage/ocaml-diet";
+SRC_URI="https://github.com/mirage/${MYPN}/archive/v${PV}.tar.gz ->
${P}.tar.gz"
+S="${WORKDIR}/${MYPN}-${PV}"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="ocamlopt test"
+
+RDEPEND="dev-ml/stdlib-shims"
+DEPEND="
+ ${RDEPEND}
+ test? ( dev-ml/ounit )
+"
+
+RESTRICT="!test? ( test )"
diff --git a/dev-ml/diet/metadata.xml b/dev-ml/diet/metadata.xml
new file mode 100644
index 000000000..836835d2f
--- /dev/null
+++ b/dev-ml/diet/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="person">
+ <email>[email protected]</email>
+ <name>Alessandro Barbieri</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">mirage/ocaml-diet</remote-id>
+ </upstream>
+</pkgmetadata>
