-
Notifications
You must be signed in to change notification settings - Fork 0
/
mirage-clock-riscv.opam
35 lines (34 loc) · 1.19 KB
/
mirage-clock-riscv.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
version: "2.0.0"
opam-version: "2.0"
maintainer: "Sai Venkata Krishnan <[email protected]>"
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: "Libraries and module types for portable clocks"
description: """
This library implements portable support for an operating system timesource
that is compatible with the [MirageOS](https://mirage.io) library interfaces
found in: <https://github.com/mirage/mirage>
It implements an `MCLOCK` module that represents a monotonic timesource
since an arbitrary point, and `PCLOCK` which counts time since the Unix
epoch.
"""
depends: [
"dune" {build}
"ocaml-riscv" {>= "4.07.0"}
"mirage-device-riscv"
]
build: [
[make "add-cap-files"]
["dune" "subst"] {pinned}
["dune" "build" "-x" "riscv" "-p" "mirage-clock" "-j" jobs]
]
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: "md5=d51d5ec423bcb13bb03e7ebffc855f6a"
}