55 lines
1.8 KiB
Text
55 lines
1.8 KiB
Text
|
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_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "CONFIG_XEN="]
|
||
|
|
]
|
||
|
|
install: [make "V=1" "CONFIG_SPT=" "CONFIG_VIRTIO=" "CONFIG_MUEN=" "CONFIG_GENODE=" "CONFIG_XEN=" "install-opam-hvt" "PREFIX=%{prefix}%"]
|
||
|
|
depends: [
|
||
|
|
"conf-pkg-config"
|
||
|
|
"conf-libseccomp" {build & os = "linux"}
|
||
|
|
]
|
||
|
|
depexts: [
|
||
|
|
["linux-headers"] {os-distribution = "alpine"}
|
||
|
|
["kernel-headers"] {os-distribution = "fedora"}
|
||
|
|
["kernel-headers"] {os-distribution = "rhel"}
|
||
|
|
["linux-libc-dev"] {os-family = "debian"}
|
||
|
|
]
|
||
|
|
conflicts: [
|
||
|
|
"ocaml-freestanding" {< "0.6.0"}
|
||
|
|
"solo5-bindings-spt"
|
||
|
|
"solo5-bindings-virtio"
|
||
|
|
"solo5-bindings-muen"
|
||
|
|
"solo5-bindings-genode"
|
||
|
|
"solo5-bindings-xen"
|
||
|
|
]
|
||
|
|
available: [
|
||
|
|
(arch = "x86_64" | arch = "arm64") &
|
||
|
|
(os = "linux" | os = "freebsd" | os = "openbsd")
|
||
|
|
]
|
||
|
|
synopsis: "Solo5 sandboxed execution environment (hvt 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 and
|
||
|
|
run MirageOS unikernels on the "hvt" target, including the
|
||
|
|
"solo5-hvt" tender source code, and "solo5-hvt-configure" script
|
||
|
|
used to specialize the tender at MirageOS unikernel build time.
|
||
|
|
|
||
|
|
The "hvt" target is supported on 64-bit Linux, FreeBSD and
|
||
|
|
OpenBSD systems with hardware virtualization."""
|
||
|
|
url {
|
||
|
|
src: "git+https://github.com/hannesm/solo5.git#0.6.8-caravan"
|
||
|
|
}
|