diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-12-29 00:31:25 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-12-29 00:31:25 +0100 |
| commit | a909b0903f066031dec899bfe59b056f36e808a6 (patch) | |
| tree | a9aa824311200677512414dfb24ea4bdb5aad044 /dev-ml | |
| parent | net-misc/curl: Stabilize 7.87.0 x86, #888801 (diff) | |
| download | gentoo-a909b0903f066031dec899bfe59b056f36e808a6.tar.gz gentoo-a909b0903f066031dec899bfe59b056f36e808a6.tar.bz2 gentoo-a909b0903f066031dec899bfe59b056f36e808a6.zip | |
dev-ml/mirage-clock: bump to 4.2.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-ml')
| -rw-r--r-- | dev-ml/mirage-clock/Manifest | 1 | ||||
| -rw-r--r-- | dev-ml/mirage-clock/mirage-clock-4.2.0.ebuild | 22 |
2 files changed, 23 insertions, 0 deletions
diff --git a/dev-ml/mirage-clock/Manifest b/dev-ml/mirage-clock/Manifest index ae784e839c2d..82acb7cc92fa 100644 --- a/dev-ml/mirage-clock/Manifest +++ b/dev-ml/mirage-clock/Manifest @@ -1 +1,2 @@ DIST mirage-clock-3.1.0.tar.gz 8441 BLAKE2B a8cc3b1ab3f929c4c28ce5f0dfe30d316b1d9445f4fd053743d5e224e8b5630c9ae2d12804ca690488a238c6aa8cd8b197ca8ca7d9e49b902964570c78ed946b SHA512 e4518a6c47e18c7fd3fd910de2f68cacb18735d59bcfffc79b676c8526466f2134979805222c39496588ef6f16a8f6b1fb79fec478459a3ec474fb60118c5551 +DIST mirage-clock-4.2.0.tar.gz 8440 BLAKE2B 37c701a92ec8cdf71e9d297ec09992f313f1b3637146988b8fac3e7c6e21be4eb2ebe622fdf1ae52612b2cf51e6cbfa87750c62bf68f126d3e61789d461a4a31 SHA512 7c32adf30505fe35a1313c162731b96e283a883dbc18d530344830a1f76d3397a6dd3b76a4ac3024aa02ff917d228c953c9ebdfeeae1f48686e776007234edda diff --git a/dev-ml/mirage-clock/mirage-clock-4.2.0.ebuild b/dev-ml/mirage-clock/mirage-clock-4.2.0.ebuild new file mode 100644 index 000000000000..5e66c4963037 --- /dev/null +++ b/dev-ml/mirage-clock/mirage-clock-4.2.0.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Portable clock implementation for Unix and Xen" +HOMEPAGE="https://github.com/mirage/mirage-clock" +SRC_URI="https://github.com/mirage/mirage-clock/archive/v${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="ISC" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86" +IUSE="+ocamlopt" + +BDEPEND="dev-ml/dune-configurator" + +src_install() { + dune-install mirage-clock mirage-clock-solo5 mirage-clock-unix +} |