this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "martin@lucina.net"
3authors: [
4 "Dan Williams <djwillia@us.ibm.com>"
5 "Martin Lucina <martin@lucina.net>"
6 "Ricardo Koller <kollerr@us.ibm.com>"
7]
8homepage: "https://github.com/solo5/solo5"
9bug-reports: "https://github.com/solo5/solo5/issues"
10license: "ISC"
11dev-repo: "git+https://github.com/solo5/solo5.git"
12build: [
13 ["./configure.sh" "--prefix=%{prefix}%"]
14 [make "V=1"]
15]
16install: [make "V=1" "install"]
17depends: [
18 "conf-pkg-config" {build & os = "linux"}
19 "conf-libseccomp" {build & os = "linux"}
20]
21depexts: [
22 ["linux-headers"] {os-distribution = "alpine"}
23 ["kernel-headers"] {os-distribution = "fedora"}
24 ["kernel-headers"] {os-distribution = "rhel"}
25 ["linux-libc-dev"] {os-family = "debian"}
26]
27conflicts: [
28 "ocaml-freestanding" {< "0.7.0"}
29 "solo5-bindings-hvt"
30 "solo5-bindings-spt"
31 "solo5-bindings-virtio"
32 "solo5-bindings-muen"
33 "solo5-bindings-genode"
34 "solo5-bindings-xen"
35]
36available: [
37 (arch = "x86_64" | arch = "arm64") &
38 (os = "linux" | os = "freebsd" | os = "openbsd") &
39 (arch != "ppc64")
40]
41x-ci-accept-failures: [ "centos-7" ]
42synopsis: "Solo5 sandboxed execution environment"
43description: """
44Solo5 is a sandboxed execution environment primarily intended
45for, but not limited to, running applications built using various
46unikernels (a.k.a. library operating systems).
47
48This package provides the Solo5 components needed to build and
49run MirageOS unikernels on the host system.
50"""
51url {
52 src: "https://github.com/Solo5/solo5/releases/download/v0.7.0/solo5-v0.7.0.tar.gz"
53 checksum: "sha512=7d89539d4964c4c2133bddf82fab865db523b069845b2f6367f3f2bf68e743cfe97e5ffff6fa90a217cc9392078b52de63ecd8e540e9a50c39f435fded0717d0"
54}
55flags: [ deprecated ] # uses -Werror
56x-maintained: false