summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-07 16:00:42 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-07 16:00:42 +0100
commitad526111f0dd619ae9e0e98ef2253146b58a068f (patch)
tree77317ec01b88f47e035770d8f993c033670e05eb /Makefile
parent561d0f0155f4906d90eb7e73a3ff9cb28909126f (diff)
Update project description
Diffstat (limited to 'Makefile')
-rwxr-xr-xMakefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 5799ef0..88fb750 100755
--- a/Makefile
+++ b/Makefile
@@ -9,3 +9,6 @@ serve:
clean:
dune clean
+
+deps:
+ opam install . --deps-only