unikernel-repo/packages/solo5-tenders.0.7.5/opam

65 lines
2.9 KiB
Text
Raw Normal View History

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"
}
extra-files: [
2022-12-17 16:31:01 +00:00
["packaging/FreeBSD/MANIFEST" "sha512=41189e6c9b2e9882c0326faf30c16f1929093b970b1d6042c370a90bc0cd707ae49dd52a110a22ddba7a12d488dd9bb06a630facd2866e32a173e06b93e6a7cd"]
["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"]
["packaging/debian/copyright" "sha512=722fe8f14e03d015dec7bced1b3cca619e0aee2d9e067e298281052956b24aa41ed95f9c1917205a37097261d5ae3707c8053bad8aea144f0220ff50c02b9625"]
["packaging/debian/create_package.sh" "sha512=383c4dde2ee85ad9357bcec3053a91326b9e091cd4cfb15c8c163af6c9d8b0759fcce21f9e7278b3444f7733886f468f59cec82322864f42b6ea7010e543bc3d"]
]