/
opam
33 lines (33 loc) · 1.16 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
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"
bug-reports: "https://github.com/mirage/mirage-clock/issues"
synopsis: "Paravirtual implementation of the MirageOS Clock interface"
description: """
This 'freestanding' implementation of the MirageOS CLOCK interface
is designed to be linked against an embedded runtime that provides
a concrete implementation of the clock source. Example implementations
include the [Solo5](https://github.com/solo5/solo5) backend of
MirageOS.
"""
depends: [
"ocaml" {>= "4.06.0"}
"dune"
"mirage-clock" {= version}
]
build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
]
dev-repo: "git+https://github.com/mirage/mirage-clock.git"
url {
src:
"https://github.com/mirage/mirage-clock/releases/download/v3.0.0/mirage-clock-v3.0.0.tbz"
checksum: [
"sha256=aedd122018dc2dcb3bf486003455c3eee0dc9e65e22b3bfc693f601e447913f1"
"sha512=c14860767fe5886dc8590d68a804eabf41968687ef139eac5e681ed869255b8557818af0d18d9b97d20f1d0cc2b254c5d129e0ec8cc367f8d9b614a693965bbe"
]
}