commit: ec7633d39b40a5ba10e1cc7038603d164e6457ff Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> AuthorDate: Fri Apr 15 21:47:08 2022 +0000 Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com> CommitDate: Fri Apr 15 22:46:49 2022 +0000 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=ec7633d3
dev-ml/mirage-clock-unix: initial import Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com> dev-ml/mirage-clock-unix/Manifest | 1 + dev-ml/mirage-clock-unix/metadata.xml | 12 ++++++++++++ .../mirage-clock-unix-3.1.0.ebuild | 22 ++++++++++++++++++++++ 3 files changed, 35 insertions(+) diff --git a/dev-ml/mirage-clock-unix/Manifest b/dev-ml/mirage-clock-unix/Manifest new file mode 100644 index 000000000..a7bc1c7de --- /dev/null +++ b/dev-ml/mirage-clock-unix/Manifest @@ -0,0 +1 @@ +DIST mirage-clock-v3.1.0.tbz 7716 BLAKE2B 0cd18f0969e040456d6335b97f151b8d37bc25cbfa6a24dd4a62a6ee8548b536445966e4a18a398915eb256ba461c5262c69598ac7e7188aee331c2094e4fc4b SHA512 a1dbac3ae5671e02d77ebe5b9d8c53d787c0fcce59ec74a5d5ebd5ed28919d838ef6ab1c00ee18e0c261f7bafcb86de34548f1271129838b77654ee1a82ca4ff diff --git a/dev-ml/mirage-clock-unix/metadata.xml b/dev-ml/mirage-clock-unix/metadata.xml new file mode 100644 index 000000000..4cbec58af --- /dev/null +++ b/dev-ml/mirage-clock-unix/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="person"> + <description>co-maintainers welcome</description> + <email>[email protected]</email> + <name>Alessandro Barbieri</name> + </maintainer> + <upstream> + <remote-id type="github">mirage/mirage-clock</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/mirage-clock-unix/mirage-clock-unix-3.1.0.ebuild b/dev-ml/mirage-clock-unix/mirage-clock-unix-3.1.0.ebuild new file mode 100644 index 000000000..7df285588 --- /dev/null +++ b/dev-ml/mirage-clock-unix/mirage-clock-unix-3.1.0.ebuild @@ -0,0 +1,22 @@ +# Copyright 2020 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +BASE_PN="mirage-clock" + +DESCRIPTION="Unix-based implementation for the MirageOS Clock interface" +HOMEPAGE="https://github.com/mirage/mirage-clock"; +SRC_URI="https://github.com/mirage/mirage-clock/releases/download/v${PV}/${BASE_PN}-v${PV}.tbz"; +S="${WORKDIR}/${BASE_PN}-v${PV}" + +LICENSE="ISC" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="ocamlopt" + +DEPEND="dev-ml/mirage-clock:=" +RDEPEND="${DEPEND}" +BDEPEND="dev-ml/dune-configurator"
