2022-10-25 13:11:51 +00:00
|
|
|
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" "--prefix=%{prefix}%" "--disable-toolchain"]
|
|
|
|
|
[make "V=1"]
|
|
|
|
|
["sh" "-ex" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
|
|
|
|
|
["sh" "-ex" "packaging/debian/create_package.sh"] {os-family = "debian"}
|
|
|
|
|
]
|
|
|
|
|
# install: [make "V=1" "install"]
|
|
|
|
|
depends: [
|
|
|
|
|
"conf-pkg-config" {build & os = "linux"}
|
|
|
|
|
"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.7.0"}
|
|
|
|
|
"solo5-bindings-hvt"
|
|
|
|
|
"solo5-bindings-spt"
|
|
|
|
|
"solo5-bindings-virtio"
|
|
|
|
|
"solo5-bindings-muen"
|
|
|
|
|
"solo5-bindings-genode"
|
|
|
|
|
"solo5-bindings-xen"
|
|
|
|
|
# XXX(reynir) we install the same binaries
|
|
|
|
|
"solo5"
|
|
|
|
|
]
|
|
|
|
|
available: [
|
|
|
|
|
(arch = "x86_64" | arch = "arm64" | arch = "ppc64") &
|
|
|
|
|
(os = "linux" | os = "freebsd" | os = "openbsd")
|
|
|
|
|
]
|
|
|
|
|
synopsis: "Solo5 sandboxed execution environment"
|
|
|
|
|
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 run MirageOS
|
|
|
|
|
unikernels on the host system.
|
|
|
|
|
"""
|
|
|
|
|
url {
|
2022-12-17 16:31:01 +00:00
|
|
|
src: "https://github.com/Solo5/solo5/releases/download/v0.7.5/solo5-v0.7.5.tar.gz"
|
|
|
|
|
checksum: "sha512=1e8be23e84e54f8fdb364e8d2a20933150930b43f91085b4dd378ed6445718ef38abca98bcfd0a1e68cdbda747bf829551f0b2a31cdcfe13db219e332512ff79"
|
2022-10-25 13:11:51 +00:00
|
|
|
}
|
|
|
|
|
extra-files: [
|
2022-12-17 16:31:01 +00:00
|
|
|
["packaging/FreeBSD/MANIFEST" "sha512=41189e6c9b2e9882c0326faf30c16f1929093b970b1d6042c370a90bc0cd707ae49dd52a110a22ddba7a12d488dd9bb06a630facd2866e32a173e06b93e6a7cd"]
|
2022-10-25 13:11:51 +00:00
|
|
|
["packaging/FreeBSD/create_package.sh" "sha512=3c3c3b5d82fbd2651b9701f42a010c0a8a25f7b9dd0c134bc1f254a45d5d6b2589140f25af2a2ea87af2b5973a89e351d3a15e597026b850c110022f49a78f7d"]
|
2022-12-17 16:31:01 +00:00
|
|
|
["packaging/debian/changelog" "sha512=0860d1a9f834c28554461a7eb25ded55f206c9c1979119b950baded5e0bc2172e8df74b81fc18e12122320a8a1b589710de8b3f2bcc3464a9b2d24596f7dec98"]
|
|
|
|
|
["packaging/debian/control" "sha512=3cc9a0487fb822ee5038bcb8eb98dcc7716d278be4e1a0aa0faf5d1aba911fa4c9399bff8d5bd28252db5a2cc4361c1b088e20c7ed6a4f14a222a09bfdfbca89"]
|
2022-10-25 13:11:51 +00:00
|
|
|
["packaging/debian/copyright" "sha512=722fe8f14e03d015dec7bced1b3cca619e0aee2d9e067e298281052956b24aa41ed95f9c1917205a37097261d5ae3707c8053bad8aea144f0220ff50c02b9625"]
|
|
|
|
|
["packaging/debian/create_package.sh" "sha512=383c4dde2ee85ad9357bcec3053a91326b9e091cd4cfb15c8c163af6c9d8b0759fcce21f9e7278b3444f7733886f468f59cec82322864f42b6ea7010e543bc3d"]
|
|
|
|
|
]
|
