dev-ml/mirage-time: initial import

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>

dev-ml/mirage-time/Manifest

@@ -0,0 +1 @@
+DIST mirage-time-3.0.0.tar.gz 2710 BLAKE2B 0dbdfe1e995a5e297e1ed23d704ffc2fdad6cf958420cd5ff98bb440d1e03606c543a3401fdfb288a7ddb34fcec6ab2c2ae4172ac9294bb33bc00fb3a3b85b8c SHA512 a3b72b1bbc7d5794e33a1fffab0808be1b4e89a722e9ceab88fe615ea5d3921c256f1ddfa8962f80e0c8d4eea0b11df95c03248d4a47709be4e7a000659ac51e

dev-ml/mirage-time/metadata.xml

@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+    <maintainer type="person">
+        <email>lssndrbarbieri@gmail.com</email>
+        <name>Alessandro Barbieri</name>
+    </maintainer>
+    <upstream>
+        <remote-id type="github">mirage/mirage-time</remote-id>
+    </upstream>
+    <use>
+        <flag name="unix">Time operations for MirageOS on Unix</flag>
+    </use>
+</pkgmetadata>

dev-ml/mirage-time/mirage-time-3.0.0.ebuild

@@ -0,0 +1,32 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+DESCRIPTION="Time signatures for MirageOS"
+HOMEPAGE="https://github.com/mirage/mirage-time"
+SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="ocamlopt unix"
+
+RDEPEND="
+	dev-ml/lwt
+	unix? ( dev-ml/duration )
+"
+DEPEND="${RDEPEND}"
+
+src_compile() {
+	local pkgs="mirage-time"
+	use unix && pkgs="${pkgs},mirage-time-unix"
+	dune build --only-packages "${pkgs}" -j $(makeopts_jobs) --profile release || die
+}
+
+src_install() {
+	dune_src_install mirage-time
+	use unix && dune_src_install mirage-time-unix
+}