this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "mirageos-devel@lists.openmirage.org"
3authors: "Thomas Leonard <talex5@gmail.com>"
4homepage: "https://github.com/talex5/mini-os"
5bug-reports: "https://github.com/mirage/mini-os/issues"
6license: ["BSD" "some optional GPL components"]
7dev-repo: "git+https://github.com/talex5/mini-os.git"
8available: [os != "macos" & arch = "x86_64"]
9build: [
10 ["sh" "-ex" "./build-opam.sh"]
11]
12install: [
13 [make "install" "LIBDIR=%{prefix}%/lib" "INCLUDEDIR=%{prefix}%/include"]
14]
15remove: [
16 ["rm" "-r"
17 "%{prefix}%/lib/minios-xen"
18 "%{prefix}%/lib/pkgconfig/libminios-xen.pc"
19 "%{prefix}%/include/minios-xen"
20 ]
21]
22depends: [
23 "conf-perl" {build}
24 "conf-findutils" {build}
25]
26synopsis: "A minimal OS for running under the Xen hypervisor"
27description: """
28Mini-OS provides architecture-specific boot code, a stack, malloc, an interrupt
29handler, a console driver, and some basic C functions. It can be used as a
30library to build unikernels such as Mirage."""
31flags: light-uninstall
32url {
33 src: "https://github.com/talex5/mini-os/archive/v0.9.tar.gz"
34 checksum: [
35 "sha256=47a357563740c9576cfd857dfb898f1134b828863dad5fdc36a4ab045305d6b1"
36 "md5=8f30d651d16f9e7b6b0f2296cd71cec0"
37 ]
38}
39extra-source "build-opam.sh" {
40 src:
41 "https://raw.githubusercontent.com/ocaml/opam-source-archives/main/patches/minios-xen/build-opam.sh"
42 checksum: [
43 "sha256=eb2f6e2b45f89f74583ecbfc6143abca34b05a19be01a7deddd10be66c5df9a5"
44 "md5=93746a0c93f75851c8a8f81e7e8b5d82"
45 ]
46}