From e08892c2d09b2c03bc47be24c8ad5506189e9864 Mon Sep 17 00:00:00 2001
From: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Date: Mon, 4 Apr 2022 23:01:33 +0200
Subject: [PATCH] dev-ml/mirage-time: initial import

Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
---
 dev-ml/mirage-time/Manifest                 |  1 +
 dev-ml/mirage-time/metadata.xml             | 14 +++++++++
 dev-ml/mirage-time/mirage-time-3.0.0.ebuild | 32 +++++++++++++++++++++
 3 files changed, 47 insertions(+)
 create mode 100644 dev-ml/mirage-time/Manifest
 create mode 100644 dev-ml/mirage-time/metadata.xml
 create mode 100644 dev-ml/mirage-time/mirage-time-3.0.0.ebuild

diff --git a/dev-ml/mirage-time/Manifest b/dev-ml/mirage-time/Manifest
new file mode 100644
index 0000000000..2dcef863a4
--- /dev/null
+++ b/dev-ml/mirage-time/Manifest
@@ -0,0 +1 @@
+DIST mirage-time-3.0.0.tar.gz 2710 BLAKE2B 0dbdfe1e995a5e297e1ed23d704ffc2fdad6cf958420cd5ff98bb440d1e03606c543a3401fdfb288a7ddb34fcec6ab2c2ae4172ac9294bb33bc00fb3a3b85b8c SHA512 a3b72b1bbc7d5794e33a1fffab0808be1b4e89a722e9ceab88fe615ea5d3921c256f1ddfa8962f80e0c8d4eea0b11df95c03248d4a47709be4e7a000659ac51e
diff --git a/dev-ml/mirage-time/metadata.xml b/dev-ml/mirage-time/metadata.xml
new file mode 100644
index 0000000000..a721ce060b
--- /dev/null
+++ b/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>
diff --git a/dev-ml/mirage-time/mirage-time-3.0.0.ebuild b/dev-ml/mirage-time/mirage-time-3.0.0.ebuild
new file mode 100644
index 0000000000..96e6481d70
--- /dev/null
+++ b/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
+}