aboutsummaryrefslogtreecommitdiff
path: root/readme.md
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-02 11:25:36 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-02 11:25:36 -0600
commit189179574d847e8e9662cf78804ce9371fac988d (patch)
tree0cc2b8c27fe8cf59d4724100d8b95085fab6432d /readme.md
parent4fe8c79ce03e12be04b0d928b65b1a7d475f4458 (diff)
downloadwormhole-189179574d847e8e9662cf78804ce9371fac988d.tar.gz
wormhole-189179574d847e8e9662cf78804ce9371fac988d.tar.bz2
wormhole-189179574d847e8e9662cf78804ce9371fac988d.zip
Add user
Diffstat (limited to 'readme.md')
-rw-r--r--readme.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/readme.md b/readme.md
index 0a29cde..fd9087c 100644
--- a/readme.md
+++ b/readme.md
@@ -17,13 +17,13 @@ You'll need `libev` and `openssl`.
## Running
```
-dune exec --watch --root . ./server.exe
+dune exec --watch --root . wormhole
```
## Build
```
-opam build
+opam install . --deps-only
opam exec -- dune build
```