this repo has no description
Release of Solo5.0.9.1
* Fetch `stdalign.h` from system on FreeBSD (#590, @shym, @dinosaure)
+98
+45
packages/solo5-cross-aarch64/solo5-cross-aarch64.0.9.1/opam
+45
packages/solo5-cross-aarch64/solo5-cross-aarch64.0.9.1/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.1/solo5-v0.9.1.tar.gz"
44
+
checksum: "sha512=b17454c19f9d879ff16616c0d03168b49a181d265809cd82fbea8d20a2104738d8c03e58f379abe317b54d4d2dce4c4e3fd373e12b06dfce8fc1a67b41ea6dd9"
45
+
}
+53
packages/solo5/solo5.0.9.1/opam
+53
packages/solo5/solo5.0.9.1/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.1/solo5-v0.9.1.tar.gz"
52
+
checksum: "sha512=b17454c19f9d879ff16616c0d03168b49a181d265809cd82fbea8d20a2104738d8c03e58f379abe317b54d4d2dce4c4e3fd373e12b06dfce8fc1a67b41ea6dd9"
53
+
}