this repo has no description
anil.recoil.org
1opam-version: "2.0"
2authors: ["Anil Madhavapeddy" "Daniel C. Bünzli" "Matthew Gray"]
3maintainer: "anil@recoil.org"
4homepage: "https://github.com/mirage/mirage-clock"
5bug-reports: "https://github.com/mirage/mirage-clock/issues"
6dev-repo: "git+https://github.com/mirage/mirage-clock.git"
7doc: "https://mirage.github.io/mirage-clock/"
8license: "ISC"
9tags: ["org:mirage"]
10depends: [
11 "ocaml"
12 "jbuilder" {>= "1.0+beta9"}
13 "mirage-device" {>= "1.0.0" & < "2.0.0"}
14]
15build: [
16 [ "jbuilder" "subst" "-p" name ] {dev}
17 [ "jbuilder" "build" "-p" name "-j" jobs ]
18]
19synopsis: "Libraries and module types for portable clocks"
20description: """
21This library implements portable support for an operating system timesource
22that is compatible with the [MirageOS](https://mirage.io) library interfaces
23found in: <https://github.com/mirage/mirage>
24
25It implements an `MCLOCK` module that represents a monotonic timesource
26since an arbitrary point, and `PCLOCK` which counts time since the Unix
27epoch.
28
29The following sources are used:
30
31* The Unix version uses `gettimeofday` or `clock_gettime`, depending on
32 which OS is in use (see [clock_stubs.c](https://github.com/mirage/mirage-clock/blob/master/unix/clock_stubs.c)).
33* The freestanding version uses the paravirtual clock source from the hypervisor."""
34url {
35 src:
36 "https://github.com/mirage/mirage-clock/releases/download/v1.3.0/mirage-clock-1.3.0.tbz"
37 checksum: [
38 "sha256=3f46c17bc135994feb4bd262cb1f9ffa637a4047670fa9b34ab33fd7a3260ff7"
39 "md5=eccfb4b7361bcc639744fd18d17cb582"
40 ]
41}