commit: a909b0903f066031dec899bfe59b056f36e808a6 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Wed Dec 28 23:31:25 2022 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Wed Dec 28 23:31:25 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a909b090
dev-ml/mirage-clock: bump to 4.2.0 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> dev-ml/mirage-clock/Manifest | 1 + dev-ml/mirage-clock/mirage-clock-4.2.0.ebuild | 22 ++++++++++++++++++++++ 2 files changed, 23 insertions(+) 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 +}
