diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-12-29 02:14:02 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-12-29 02:14:02 +0000 |
| commit | a493ba7d75043e8e649ee8d6d4942c1f4b31d1c5 (patch) | |
| tree | d9aef2725cb8f60bd6f5a47afa9778eb94114793 /dev-ml/mirage-clock | |
| parent | d7ef5a07f47da6898dcb2d1503790c59b0470571 (diff) | |
gentoo auto-resync : 29:12:2022 - 02:14:02
Diffstat (limited to 'dev-ml/mirage-clock')
| -rw-r--r-- | dev-ml/mirage-clock/Manifest | 2 | ||||
| -rw-r--r-- | dev-ml/mirage-clock/mirage-clock-4.2.0.ebuild | 22 |
2 files changed, 24 insertions, 0 deletions
diff --git a/dev-ml/mirage-clock/Manifest b/dev-ml/mirage-clock/Manifest index 56cba7f1da8c..8da5a6231d50 100644 --- a/dev-ml/mirage-clock/Manifest +++ b/dev-ml/mirage-clock/Manifest @@ -1,3 +1,5 @@ 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 EBUILD mirage-clock-3.1.0.ebuild 452 BLAKE2B 5291492e74ec3a717e645043c4b57f9b64a70f18b646f2633fdb34695df2182de0e6e8e8840ed7fa6b8a23f51c6442894612f81bd74025facd1c397471b7a6d0 SHA512 29901d65ec09f6b236533704cc6c482328a4bb9ddbe64b3bef5f1b08c84703ca8505275ee11ce1fc4401d83dc942229bca23ac857de3d95bd0e099db98f2e2fe +EBUILD mirage-clock-4.2.0.ebuild 545 BLAKE2B 34fe007681c115324fb3d3622ef82e703bca773f114ca9a92b5c455a6fe1cd2b5998f0654271001e325f159041a39b6ef43d2127fac03c18ff3e564f6540f43c SHA512 469f375baf132a00be33cb85ad5c424028f38239714c68bd60a837ae78bdefc84a1e15e1cecc876f5aa772d0cde6da792952f5d180f7317fb5c3d8712273dca3 MISC metadata.xml 317 BLAKE2B 5d20eb97520a74386bc19338271150e0eb97c39233e07b6ec09b7816084b8e7abe8c0e7bf5eb0f6f06d0a2991930ce77fbd9f31829da9169d0749ba529df248c SHA512 f0b47c1683afc2b2c4f3e8b22561638c3027f2a8a8f74c7e83c7caebe4e8730cb79b2e28ddaacaede20e13ff1428062dba30000eccd76d6137cd8ad1e1042ba2 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 +} |