gazagnaire.org
Example mirage-eio unikernels
1.1 kB
41 lines
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Observability producer unikernel, runnable natively"
4tags: ["org:blacksun" "system" "logging"]
5homepage: "https://tangled.org/gazagnaire.org/unikernels"
6bug-reports: "https://tangled.org/gazagnaire.org/unikernels/issues"
7depends: [
8 "dune" {>= "3.21"}
9 "eio" {>= "1.0"}
10 "nox-mirage"
11 "mtime"
12 "ipaddr"
13 "cmdliner"
14 "fmt"
15 "probe"
16 "observe"
17 "obs" {with-test}
18 "eio-net"
19 "odoc" {with-doc}
20]
21build: [
22 ["dune" "subst"] {dev}
23 [
24 "dune"
25 "build"
26 "-p"
27 name
28 "-j"
29 jobs
30 "@install"
31 "@runtest" {with-test}
32 "@doc" {with-doc}
33 ]
34]
35dev-repo: "git+https://tangled.org/gazagnaire.org/unikernels"
36x-maintenance-intent: ["(latest)"]
37pin-depends: [
38 ["eio.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"]
39 ["eio_main.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"]
40 ["eio_posix.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"]
41]