aboutsummaryrefslogtreecommitdiff
path: root/src/dune
diff options
context:
space:
mode:
authorAlban Gruin2020-09-13 20:13:32 +0200
committerAlban Gruin2020-09-13 20:14:10 +0200
commitebd49001ab9c844eaba52a19f6387dfb2a0da7af (patch)
treec7a896358f650ece575b23cb6e2e740b63cc8b3e /src/dune
parenta262942eb56a962d20b3b34b637cd9cbea81b509 (diff)
ucs: add command line parameters, powered by cmdliner
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'src/dune')
-rw-r--r--src/dune1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dune b/src/dune
index c29403a..b5b0a8c 100644
--- a/src/dune
+++ b/src/dune
@@ -2,6 +2,7 @@
(name ucs)
(libraries astring
calendar
+ cmdliner
cohttp-lwt-unix
ezjsonm
lwt.unix