/
opam
49 lines (47 loc) · 1.7 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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
opam-version: "2.0"
maintainer: "martin@lucina.net"
authors: [
"Dan Williams <djwillia@us.ibm.com>"
"Martin Lucina <martin@lucina.net>"
"Ricardo Koller <kollerr@us.ibm.com>"
]
homepage: "https://github.com/solo5/solo5"
bug-reports: "https://github.com/solo5/solo5/issues"
license: "ISC"
dev-repo: "git+https://github.com/solo5/solo5.git"
build: [
["./configure.sh"]
[make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_GENODE=" "CONFIG_XEN="]
]
install: [make "V=1" "CONFIG_HVT=" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-muen" "PREFIX=%{prefix}%"]
depends: [
"conf-pkg-config" {< "3"}
"conf-libseccomp" {build & os = "linux"}
]
conflicts: [
"ocaml-freestanding" {< "0.6.0"}
"solo5-bindings-genode"
"solo5-bindings-hvt"
"solo5-bindings-spt"
"solo5-bindings-virtio"
"solo5-bindings-xen"
]
available: [
arch = "x86_64" &
(os = "linux" | os = "freebsd" | os = "openbsd")
]
synopsis: "Solo5 sandboxed execution environment (muen target)"
description: """
Solo5 is a sandboxed execution environment primarily intended
for, but not limited to, running applications built using various
unikernels (a.k.a. library operating systems).
This package provides the Solo5 components needed to build
MirageOS unikernels on the "muen" target. The resulting
unikernels can then be deployed directly on a host running the
Muen Separation Kernel.
Building the "muen" target is supported on 64-bit Linux, FreeBSD
and OpenBSD systems."""
url {
src: "https://github.com/Solo5/solo5/releases/download/v0.6.8/solo5-v0.6.8.tar.gz"
checksum: "sha512=64eba912f1d5a3b2496077ed78200d5dcfb9536c1c9c9d0bca7a44bb072f49be789e0d89260c39300a7324256b409de403058aa26da56f00f8aea2a521a6ea41"
}