-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
35 lines (34 loc) · 1.09 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: "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"
license: ["ISC" "LGPL-2.1-only WITH OCaml-LGPL-linking-exception" "BSD-3-Clause"]
build: [make "unix-build"]
install: [make "unix-install" "PREFIX=%{prefix}%"]
remove: [make "unix-uninstall" "PREFIX=%{prefix}%"]
depends: [
"ocaml" {>= "4.01.0" & < "5.0"}
"ocamlfind" {build}
"ocamlbuild" {build}
"cstruct" {>= "1.0.1"}
"lwt" {>= "2.4.7"}
"mirage-clock-unix" {>= "1.0.0"}
"shared-memory-ring" {>= "1.0.0"}
"mirage-profile" {>= "0.3"}
"logs"
"io-page-unix" {>= "2.0.0"}
]
conflicts: [
"mirage-types" { < "3.0.0" }
]
tags: "org:mirage"
synopsis: "MirageOS platform library for UNIX compilation"
url {
src: "https://github.com/mirage/mirage-platform/archive/v3.0.3.tar.gz"
checksum: [
"sha256=53b539930a9cec8e0e94b742ed294bef429e43e4ba5788652c779666b07772f5"
"md5=ff35e31ce2eaa553cde6fc4af494bf44"
]
}