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