aboutsummaryrefslogtreecommitdiff
path: root/src/dune
diff options
context:
space:
mode:
authorAlban Gruin2020-12-30 16:38:15 +0100
committerAlban Gruin2020-12-30 17:40:39 +0100
commit8dff924f4d598da653794e29fb9929017e161aa3 (patch)
treee88e0564bc41662ebb01c334e189346bea95c580 /src/dune
parentf6ee00c1b33b35f6adcd8c27cc4013636fd202a4 (diff)
ucs: use the version name from dune
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
Diffstat (limited to 'src/dune')
-rw-r--r--src/dune3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/dune b/src/dune
index 14060f1..d6f0b6b 100644
--- a/src/dune
+++ b/src/dune
@@ -1,9 +1,12 @@
(executable
(name ucs)
+ (package ucs)
+ (public_name ucs)
(libraries astring
calendar
cmdliner
cohttp-lwt-unix
+ dune-build-info
ezjsonm
json-data-encoding
lwt.unix