gazagnaire.org
Example mirage-eio unikernels
1.0 kB
36 lines
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "etcd unikernel, runnable natively"
4tags: ["org:blacksun" "system" "network"]
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 "etcd"
12 "etcd-server"
13 "fmt"
14 "odoc" {with-doc}
15]
16build: [
17 ["dune" "subst"] {dev}
18 [
19 "dune"
20 "build"
21 "-p"
22 name
23 "-j"
24 jobs
25 "@install"
26 "@runtest" {with-test}
27 "@doc" {with-doc}
28 ]
29]
30dev-repo: "git+https://tangled.org/gazagnaire.org/unikernels"
31x-maintenance-intent: ["(latest)"]
32pin-depends: [
33 ["eio.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"]
34 ["eio_main.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"]
35 ["eio_posix.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"]
36]