mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-10 15:45:15 -04:00
Code Issues Packages Projects Releases Wiki Activity

dev-ml/mirage-clock-unix: initial import

Browse Source 
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
This commit is contained in:
Alessandro Barbieri
2022-04-15 23:47:08 +02:00
parent da1d492093
commit ec7633d39b
3 changed files with 35 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
dev-ml/mirage-clock-unix/Manifest Normal file
View File

@@ -0,0 +1 @@
DIST mirage-clock-v3.1.0.tbz 7716 BLAKE2B 0cd18f0969e040456d6335b97f151b8d37bc25cbfa6a24dd4a62a6ee8548b536445966e4a18a398915eb256ba461c5262c69598ac7e7188aee331c2094e4fc4b SHA512 a1dbac3ae5671e02d77ebe5b9d8c53d787c0fcce59ec74a5d5ebd5ed28919d838ef6ab1c00ee18e0c261f7bafcb86de34548f1271129838b77654ee1a82ca4ff

12
dev-ml/mirage-clock-unix/metadata.xml Normal file
View File

@@ -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>lssndrbarbieri@gmail.com</email>
<name>Alessandro Barbieri</name>
</maintainer>
<upstream>
<remote-id type="github">mirage/mirage-clock</remote-id>
</upstream>
</pkgmetadata>

22
dev-ml/mirage-clock-unix/mirage-clock-unix-3.1.0.ebuild Normal file
View File

@@ -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"