remove solo5-bindings-hvt now that solo5-tenders is around
This commit is contained in:
parent
5244b4b659
commit
cbc6227f95
1 changed files with 0 additions and 55 deletions
|
@ -1,55 +0,0 @@
|
||||||
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="]
|
|
||||||
["sh" "-ex" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
|
|
||||||
["sh" "-ex" "packaging/debian/create_package.sh"] {os-family = "debian"}
|
|
||||||
]
|
|
||||||
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.9-packaging"
|
|
||||||
}
|
|
Loading…
Reference in a new issue