From 3a738d929966263439fbf59e37cc2db309aa5e35 Mon Sep 17 00:00:00 2001 From: rand00 Date: Wed, 5 Jan 2022 20:53:16 +0100 Subject: [PATCH] app/dune: Gave public name to support dune exec --- app/dune | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/app/dune b/app/dune index 21dd2eb..bf82a93 100644 --- a/app/dune +++ b/app/dune @@ -1,3 +1,4 @@ (executable (name main) - (libraries cmdliner logs logs.fmt opam-graph)) \ No newline at end of file + (public_name opam_graph) + (libraries cmdliner logs logs.fmt opam-graph))