this repo has no description
Merge pull request #26729 from dinosaure/release-solo5-v0.9.0
Release of Solo5.0.9.0
authored by
Marcello Seri
and committed by
GitHub
0f00f951
a68003fb
+98
+45
packages/solo5-cross-aarch64/solo5-cross-aarch64.0.9.0/opam
+45
packages/solo5-cross-aarch64/solo5-cross-aarch64.0.9.0/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "martin@lucina.net"
3
+
authors: [
4
+
"Dan Williams <djwillia@us.ibm.com>"
5
+
"Martin Lucina <martin@lucina.net>"
6
+
"Ricardo Koller <kollerr@us.ibm.com>"
7
+
]
8
+
homepage: "https://github.com/solo5/solo5"
9
+
bug-reports: "https://github.com/solo5/solo5/issues"
10
+
license: "ISC"
11
+
dev-repo: "git+https://github.com/solo5/solo5.git"
12
+
build: [
13
+
["env" "TARGET_CC=aarch64-linux-gnu-gcc" "TARGET_LD=aarch64-linux-gnu-ld" "TARGET_OBJCOPY=aarch64-linux-gnu-objcopy" "./configure.sh" "--prefix=%{prefix}%"]
14
+
[make "V=1"]
15
+
]
16
+
install: [make "V=1" "install-toolchain"]
17
+
depends: [
18
+
"conf-pkg-config" {build & os = "linux"}
19
+
"conf-libseccomp" {build & os = "linux"}
20
+
"solo5" {= version}
21
+
]
22
+
depexts: [
23
+
["linux-headers"] {os-distribution = "alpine"}
24
+
["kernel-headers"] {os-distribution = "fedora"}
25
+
["kernel-headers"] {os-distribution = "rhel"}
26
+
["linux-libc-dev"] {os-family = "debian"}
27
+
["gcc-aarch64-linux-gnu"] {os-family = "debian"}
28
+
]
29
+
available: [
30
+
(arch != "arm64") &
31
+
(os = "linux" & os-family = "debian")
32
+
]
33
+
synopsis: "Solo5 sandboxed execution environment"
34
+
description: """
35
+
Solo5 is a sandboxed execution environment primarily intended
36
+
for, but not limited to, running applications built using various
37
+
unikernels (a.k.a. library operating systems).
38
+
39
+
This package provides the Solo5 components needed to cross-build
40
+
MirageOS unikernels for the aarch64 architecture.
41
+
"""
42
+
url {
43
+
src: "https://github.com/Solo5/solo5/releases/download/v0.9.0/solo5-v0.9.0.tar.gz"
44
+
checksum: "sha512=a3693a70efb576f3fc3332a98712766d946b726dd0963cb9629701b8a7d1e6c7f5f456cf9c2916c4b5c72f829989737710f12ea86a4318cecb33d9ffda62d5fb"
45
+
}
+53
packages/solo5/solo5.0.9.0/opam
+53
packages/solo5/solo5.0.9.0/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "martin@lucina.net"
3
+
authors: [
4
+
"Dan Williams <djwillia@us.ibm.com>"
5
+
"Martin Lucina <martin@lucina.net>"
6
+
"Ricardo Koller <kollerr@us.ibm.com>"
7
+
]
8
+
homepage: "https://github.com/solo5/solo5"
9
+
bug-reports: "https://github.com/solo5/solo5/issues"
10
+
license: "ISC"
11
+
dev-repo: "git+https://github.com/solo5/solo5.git"
12
+
build: [
13
+
["./configure.sh" "--prefix=%{prefix}%"]
14
+
[make "V=1"]
15
+
]
16
+
install: [make "V=1" "install"]
17
+
depends: [
18
+
"conf-pkg-config" {build & os = "linux"}
19
+
"conf-libseccomp" {build & os = "linux"}
20
+
]
21
+
depexts: [
22
+
["linux-headers"] {os-distribution = "alpine"}
23
+
["kernel-headers"] {os-distribution = "fedora"}
24
+
["kernel-headers"] {os-distribution = "rhel"}
25
+
["linux-libc-dev"] {os-family = "debian"}
26
+
]
27
+
conflicts: [
28
+
"ocaml-freestanding" {< "0.7.0"}
29
+
"solo5-bindings-hvt"
30
+
"solo5-bindings-spt"
31
+
"solo5-bindings-virtio"
32
+
"solo5-bindings-muen"
33
+
"solo5-bindings-genode"
34
+
"solo5-bindings-xen"
35
+
]
36
+
available: [
37
+
(arch = "x86_64" | arch = "arm64" | arch = "ppc64") &
38
+
(os = "linux" | os = "freebsd" | os = "openbsd")
39
+
]
40
+
x-ci-accept-failures: [ "centos-7" ]
41
+
synopsis: "Solo5 sandboxed execution environment"
42
+
description: """
43
+
Solo5 is a sandboxed execution environment primarily intended
44
+
for, but not limited to, running applications built using various
45
+
unikernels (a.k.a. library operating systems).
46
+
47
+
This package provides the Solo5 components needed to build and
48
+
run MirageOS unikernels on the host system.
49
+
"""
50
+
url {
51
+
src: "https://github.com/Solo5/solo5/releases/download/v0.9.0/solo5-v0.9.0.tar.gz"
52
+
checksum: "sha512=a3693a70efb576f3fc3332a98712766d946b726dd0963cb9629701b8a7d1e6c7f5f456cf9c2916c4b5c72f829989737710f12ea86a4318cecb33d9ffda62d5fb"
53
+
}