-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
opam
40 lines (39 loc) · 1.48 KB
/
opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
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: [make "virtio"]
install: [make "opam-virtio-install" "PREFIX=%{prefix}%"]
remove: [make "opam-virtio-uninstall" "PREFIX=%{prefix}%"]
depends: [
"ocaml" {>= "4.02.3"}
"conf-pkg-config" {< "3"}
]
conflicts: "solo5-kernel-ukvm"
x-ci-accept-failures: ["debian-unstable"]
flags: deprecated
available: (arch = "x86_64" | arch = "x86_64") & os != "macos"
synopsis: "Solo5 unikernel base (virtio target)"
description: """
This package provides the Solo5 base layer to run MirageOS unikernels on the
"virtio" target. Unikernels built for the "virtio" target run directly on
existing hypervisors, such as KVM/QEMU and bhyve.
Additionally, this package installs the "solo5-run-virtio" tool, a wrapper for
launching unikernels on various hypervisors, and the "solo5-mkimage" tool for
building MBR-partitioned disk images with a bootloader and unikernel installed.
The latter includes support for building images suitable for upload to Google
Compute Engine."""
url {
src: "https://github.com/Solo5/solo5/archive/v0.2.2.tar.gz"
checksum: [
"sha256=a582f32dfbf1e725a23bce5bf656b6dbfe9c160e2e157a1ca1e6d59a7db268be"
"md5=29e344999bd7476e6e83e9533b8a4dd9"
]
}