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 "ipaddr" {>= "1.0.0"}
22 "mirage-types" {>= "2.6.0" & < "3.0.0"}
23 "cmdliner" {>= "0.9.2" & < "1.0"}
24 "lwt" {>= "2.4.3"}
25 "mirage-types-lwt" {< "3.0.0"}
26 "ocamlbuild" {build}
27]
28conflicts: [
29 "nocrypto" {< "0.4.0"}
30 "cstruct" {< "1.0.1"}
31 "io-page" {< "1.4.0"}
32 "crunch" {< "1.2.2"}
33]
34synopsis: "The MirageOS library operating system"
35description: """
36MirageOS is a library operating system that constructs unikernels for
37secure, high-performance network applications across a variety of
38cloud computing and mobile platforms. Code can be developed on a
39normal OS such as Linux or MacOS X, and then compiled into a
40fully-standalone, specialised unikernel that runs under the Xen
41hypervisor.
42
43Since Xen powers most public cloud computing infrastructure such as
44Amazon EC2 or Rackspace, this lets your servers run more cheaply,
45securely and with finer control than with a full software stack."""
46flags: light-uninstall
47url {
48 src: "https://github.com/mirage/mirage/archive/v2.6.0.tar.gz"
49 checksum: [
50 "sha256=f66b04f339b3a5d1bd60d0116cbfcaee20fc8caae62fe3f28eb39c9df5da252f"
51 "md5=018f3b5496be49932ed6d71118b10ded"
52 ]
53}