this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "mirageos-devel"
3authors: ["David Kaloper Meršinjak <david@numm.org>"]
4homepage: "https://github.com/mirage/mirage-os-shim"
5doc: "https://mirage.github.io/mirage-os-shim/doc"
6license: "ISC"
7dev-repo: "git+https://github.com/mirage/mirage-os-shim.git"
8bug-reports: "https://github.com/mirage/mirage-os-shim/issues"
9build: [
10 "ocaml" "pkg/pkg.ml" "build" "--pinned" "%{pinned}%" "--tests" "false"
11 "--with-mirage-unix" "%{mirage-unix:installed}%"
12 "--with-mirage-xen" "%{mirage-xen:installed}%"
13 "--with-mirage-solo5" "%{mirage-solo5:installed}%"
14]
15depends: [
16 "ocamlfind" {build}
17 "ocamlbuild" {build}
18 "topkg" {build}
19 "ocaml" {>= "4.04.0"}
20 "lwt"
21]
22depopts: [
23 "mirage-solo5"
24 "mirage-xen"
25 "mirage-unix"
26]
27conflicts: [
28 "mirage-unix" {< "3.1.0"}
29 "mirage-unix" {>= "4.0.0"}
30 "mirage-xen" {< "3.1.0" | >= "6.0.0"}
31 "mirage-xen" {>= "5.0.0"}
32 "mirage-solo5" {< "0.5.0"}
33 "mirage-solo5" {>= "0.6.1"}
34]
35synopsis: "Portable shim for MirageOS OS API"
36description: """
37mirage-os-shim is the intersection of the Mirage OS APIs exported under the `OS`
38modules by various Mirage backends. It shims out this interface under the same
39`cmi`, and installs several implementations, that pass through to their
40respective backends.
41
42Clients need to be compiled against the common `mirage_OS.cmi`, and use the
43module `Mirage_OS`. Final applications need to be linked using `ocamlfind`, and
44have to define one of the `ocamlfind` predicates corresponding to the actual
45`OS` implementations: `mirage_unix`, `mirage_xen`, or `mirage_solo5`.
46
47When using `ocamlbuild`, this is
48`ocamlfind -use-ocamlfind -tag 'predicate(unix)'` or similar.
49
50**WARNING** Direct access to the `OS` interface is largely deprecated. The
51interface is pretty volatile. It is highly likely that you, in fact, do not need
52this package at all.
53"""
54
55url {
56 src:
57 "https://github.com/mirage/mirage-os-shim/releases/download/v3.1.0/mirage-os-shim-3.1.0.tbz"
58 checksum: [
59 "sha256=13198cfdd3e3d019c81f058ae8ab013f334922355bb2a8e27a11fdca8bea2442"
60 "md5=3858cf40ab6cf906d47f3e78d8cd40f9"
61 ]
62}
63flags: deprecated
64post-messages: [ "mirage-os-shim is deprecated" ]
65x-maintenance-intent: ["(none)"]