-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
35 lines (35 loc) · 1.15 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
opam-version: "2.0"
maintainer: "anil@recoil.org"
authors: ["Anil Madhavapeddy" "Daniel C. Bünzli" "Matthew Gray"]
license: "ISC"
tags: "org:mirage"
homepage: "https://github.com/mirage/mirage-clock"
doc: "https://mirage.github.io/mirage-clock/"
bug-reports: "https://github.com/mirage/mirage-clock/issues"
synopsis: "Unix-based implementation for the MirageOS Clock interface"
description: """
The Unix implementation of the MirageOS Clock interface uses
`gettimeofday` or `clock_gettime`, depending on
which OS is in use (see [clock_stubs.c](https://github.com/mirage/mirage-clock/blob/master/unix/clock_stubs.c)).
"""
depends: [
"ocaml" {>= "4.04.2"}
"dune"
"mirage-clock" {>= "1.2.0" & < "3.0.0"}
"mirage-clock-lwt" {>= "1.2.0"}
"lwt"
]
build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name] {with-test}
]
dev-repo: "git+https://github.com/mirage/mirage-clock.git"
url {
src:
"https://github.com/mirage/mirage-clock/releases/download/v2.0.0/mirage-clock-v2.0.0.tbz"
checksum: [
"sha256=ae35e9941b6bce1fa8313605e0c4d15345cc6c883d2e57c8877ff1e41fa9d197"
"md5=d51d5ec423bcb13bb03e7ebffc855f6a"
]
}