/
opam
36 lines (36 loc) · 1.17 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
opam-version: "2.0"
maintainer: "mirageos-devel@lists.openmirage.org"
authors: "Thomas Leonard <talex5@gmail.com>"
homepage: "https://github.com/talex5/mini-os"
bug-reports: "https://github.com/mirage/mini-os/issues"
license: ["BSD" "some optional GPL components"]
dev-repo: "git+https://github.com/talex5/mini-os.git"
available: [os != "macos" & arch = "x86_64"]
build: [
["sh" "-ex" "./build-opam.sh"]
]
install: [
[make "install" "LIBDIR=%{prefix}%/lib" "INCLUDEDIR=%{prefix}%/include"]
]
remove: [
["rm" "-r"
"%{prefix}%/lib/minios-xen"
"%{prefix}%/lib/pkgconfig/libminios-xen.pc"
"%{prefix}%/include/minios-xen"
]
]
depends: [
"conf-perl" {build}
"conf-findutils" {build}
]
synopsis: "A minimal OS for running under the Xen hypervisor"
description: """
Mini-OS provides architecture-specific boot code, a stack, malloc, an interrupt
handler, a console driver, and some basic C functions. It can be used as a
library to build unikernels such as Mirage."""
flags: light-uninstall
extra-files: ["build-opam.sh" "md5=93746a0c93f75851c8a8f81e7e8b5d82"]
url {
src: "https://github.com/talex5/mini-os/archive/v0.9.tar.gz"
checksum: "md5=8f30d651d16f9e7b6b0f2296cd71cec0"
}