-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
30 lines (30 loc) · 1000 Bytes
/
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
opam-version: "2.0"
maintainer: "anil@recoil.org"
authors: "The MirageOS team"
homepage: "https://github.com/mirage/mirage-platform"
bug-reports: "https://github.com/mirage/mirage-platform/issues/"
dev-repo: "git+https://github.com/mirage/mirage-platform.git"
build: [make "unix-build"]
install: [make "unix-install" "PREFIX=%{prefix}%"]
remove: [make "unix-uninstall" "PREFIX=%{prefix}%"]
depends: [
"ocaml" {>= "4.01.0" & < "5.0"}
"cstruct" {>= "1.0.1" & <= "1.9.0"}
"type_conv"
"conf-which" {build}
"ocamlfind"
"lwt" {>= "2.4.3" & < "4.0.0"}
"io-page" {>= "1.5.0" & < "2.0.0"}
"mirage-clock-unix" {>= "1.0.0" & < "1.1"}
"shared-memory-ring" {>= "1.0.0"}
"mirage-profile" {>= "0.3"}
"ocamlbuild" {build}
]
synopsis: "MirageOS library for Unix compilation"
url {
src: "https://github.com/mirage/mirage-platform/archive/v2.3.1.tar.gz"
checksum: [
"sha256=6e5697a579cef8fdef221768f17aeec913b74ab072d104ca5e1710554c419ef6"
"md5=4d2918daafd0dc192d537f8422bf43cb"
]
}