this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: ["anil@recoil.org" "thomas@gazagnaire.org"]
3authors: [
4 "Anil Madhavapeddy" "Thomas Gazagnaire" "Dave Scott" "Richard Mortier"
5]
6homepage: "https://mirage.io"
7bug-reports: "https://github.com/mirage/mirage/issues/"
8dev-repo: "git+https://github.com/mirage/mirage.git"
9tags: ["org:mirage" "org:xapi-project"]
10build: [
11 ["./configure" "--bindir" "%{bin}%"]
12 [make]
13]
14install: [make "install"]
15remove: [
16 ["rm" "-f" "%{bin}%/mirage"]
17 ["ocamlfind" "remove" "mirage"]
18]
19depends: [
20 "ocaml" {>= "4.01.0"}
21 "mirage-types-lwt" {>= "2.3.0" & < "3.0.0"}
22 "ipaddr" {>= "1.0.0"}
23 "cmdliner" {>= "0.9.2" & < "1.0"}
24 "lwt" {>= "2.4.3"}
25 "ocamlbuild" {build}
26]
27conflicts: [
28 "conduit" {< "0.8.0"}
29 "conduit" {>= "0.8.4"}
30]
31synopsis: "The MirageOS library operating system"
32description: """
33MirageOS is a library operating system that constructs unikernels for
34secure, high-performance network applications across a variety of
35cloud computing and mobile platforms. Code can be developed on a
36normal OS such as Linux or MacOS X, and then compiled into a
37fully-standalone, specialised unikernel that runs under the Xen
38hypervisor.
39
40Since Xen powers most public cloud computing infrastructure such as
41Amazon EC2 or Rackspace, this lets your servers run more cheaply,
42securely and with finer control than with a full software stack."""
43flags: light-uninstall
44url {
45 src: "https://github.com/mirage/mirage/archive/v2.4.0.tar.gz"
46 checksum: [
47 "sha256=dc461fd9ec337c35b75ef509fa790ab52bbe8ebf302b804a885af0538d128fa2"
48 "md5=c0043f0732e48c7981fd0c604ce08d24"
49 ]
50}