diff --git a/dev-ml/mirage-clock-unix/Manifest b/dev-ml/mirage-clock-unix/Manifest new file mode 100644 index 0000000000..a7bc1c7de8 --- /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 0000000000..4cbec58af6 --- /dev/null +++ b/dev-ml/mirage-clock-unix/metadata.xml @@ -0,0 +1,12 @@ + + + + + co-maintainers welcome + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + mirage/mirage-clock + + 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 0000000000..7df285588e --- /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"