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")
|
|
|
|
|
]
|
2023-05-01 16:30:19 +00:00
|
|
|
x-ci-accept-failures: [ "centos-7" ]
|
2022-10-25 13:11:51 +00:00
|
|
|
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 {
|
2024-10-16 08:37:26 +00:00
|
|
|
src: "https://github.com/Solo5/solo5/releases/download/v0.9.0/solo5-v0.9.0.tar.gz"
|
|
|
|
|
checksum: "sha512=a3693a70efb576f3fc3332a98712766d946b726dd0963cb9629701b8a7d1e6c7f5f456cf9c2916c4b5c72f829989737710f12ea86a4318cecb33d9ffda62d5fb"
|
2022-10-25 13:11:51 +00:00
|
|
|
}
|
|
|
|
|
extra-files: [
|
2024-10-16 08:37:26 +00:00
|
|
|
["packaging/FreeBSD/MANIFEST" "sha256=47fd37e1c02926c1d2a7a9df10c3977f5e9474133c946fb90181892d493006e0"]
|
2024-06-02 20:12:07 +00:00
|
|
|
["packaging/FreeBSD/create_package.sh" "sha256=562fe1c663e8edf4da8165b0b7a1c8a0a69cf9e9f84b3c79725c6e8ff514e7c2"]
|
2024-10-16 08:37:26 +00:00
|
|
|
["packaging/debian/changelog" "sha256=f4fd0f65d13e504e17dbdee98672da77a72e0900a1fef6e955003dcfa7956f07"]
|
|
|
|
|
["packaging/debian/control" "sha256=b92f20fb1f1355fc3fff0d347158f6cb496b66b27dcf3507f399ae9e53186a19"]
|
2024-06-02 20:12:07 +00:00
|
|
|
["packaging/debian/copyright" "sha256=de076b8c087799fc58be45396bf4778180faface9c1cc3ceaa9ddaed8a583abe"]
|
|
|
|
|
["packaging/debian/create_package.sh" "sha256=0df2e46c6f2d71f2714d42d1bcd0df89bc4a7ccb555310ee3a5311099dbf65d0"]
|
2022-10-25 13:11:51 +00:00
|
|
|
]
|
