gazagnaire.org
Example mirage-eio unikernels
1.2 kB
50 lines
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "SSH SQL shell 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 "mtime"
12 "ipaddr"
13 "fmt"
14 "hash"
15 "base64"
16 "nox-crypto-pq"
17 "sqlite"
18 "sql"
19 "console"
20 "ssh"
21 "ssh-eio"
22 "observe"
23 "eio-net"
24 "eio_main" {with-test}
25 "alcotest" {with-test}
26 "nox-crypto-rng" {with-test}
27 "re" {with-test}
28 "odoc" {with-doc}
29]
30build: [
31 ["dune" "subst"] {dev}
32 [
33 "dune"
34 "build"
35 "-p"
36 name
37 "-j"
38 jobs
39 "@install"
40 "@runtest" {with-test}
41 "@doc" {with-doc}
42 ]
43]
44dev-repo: "git+https://tangled.org/gazagnaire.org/unikernels"
45x-maintenance-intent: ["(latest)"]
46pin-depends: [
47 ["eio.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"]
48 ["eio_main.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"]
49 ["eio_posix.dev" "git+https://github.com/ocaml-multicore/eio.git#e7e6cf38a643ff0665c96d9ef6e68a998663a246"]
50]