mini-os/opam at master · talex5/mini-os · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
opam-version: "1.2"
name: "minios-xen"
version: "dev"
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: "https://github.com/talex5/mini-os.git"
build: [
  [make "debug=n" "CONFIG_VERBOSE_BOOT=n"]
]
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"
  ]
]