Diff mirage-clock-3.1.0 with a mirage-clock-4.2.0
/usr/portage/dev-ml/mirage-clock/mirage-clock-4.2.0.ebuild 2023-10-09 14:52:29.792368358 +0300 | ||
---|---|---|
1 |
# Copyright 1999-2022 Gentoo Authors |
|
1 |
# Copyright 1999-2023 Gentoo Authors |
|
2 | 2 |
# Distributed under the terms of the GNU General Public License v2 |
3 | 3 | |
4 |
EAPI=7 |
|
4 |
EAPI=8 |
|
5 | 5 | |
6 | 6 |
inherit dune |
7 | 7 | |
8 |
DESCRIPTION="A lightweight and colourful test framework" |
|
8 |
DESCRIPTION="Portable clock implementation for Unix and Xen" |
|
9 | 9 |
HOMEPAGE="https://github.com/mirage/mirage-clock" |
10 |
SRC_URI="https://github.com/mirage/mirage-clock/archive/v${PV}.tar.gz -> ${P}.tar.gz" |
|
10 |
SRC_URI="https://github.com/mirage/mirage-clock/archive/v${PV}.tar.gz |
|
11 |
-> ${P}.tar.gz" |
|
11 | 12 | |
12 | 13 |
LICENSE="ISC" |
13 | 14 |
SLOT="0/${PV}" |
... | ... | |
15 | 16 |
IUSE="+ocamlopt" |
16 | 17 | |
17 | 18 |
BDEPEND="dev-ml/dune-configurator" |
19 | ||
20 |
src_install() { |
|
21 |
dune-install mirage-clock mirage-clock-solo5 mirage-clock-unix |
|
22 |
} |