add more dune deps + use public_names

2026-03-21 16:31:11 +01:00 · 2026-03-21 16:31:11 +01:00 · 9fd3b5a3cc
commit 9fd3b5a3cc
parent 8bb9d35dda
6 changed files with 73 additions and 58 deletions
--- a/tools/dune
+++ b/tools/dune
@ -2,13 +2,23 @@
 (public_name mte-offline-tool)
 (name offline)
 (modules offline offline_impl)
- (libraries mte mtime mtime.clock mirage-crypto-rng.unix cmdliner bos fmt))
+ (libraries
+  mte
+  mtime
+  mtime.clock
+  mirage-crypto-rng.unix
+  mirage-crypto-ec
+  mirage-crypto-pk
+  cmdliner
+  bos
+  fmt
+  fpath))

 (executable
 (public_name gen_registry_files)
 (name gen_registry_files)
 (modules gen_registry_files)
- (libraries recfile_parser cmdliner bos fmt))
+ (libraries recfile_parser cmdliner bos fmt fpath))

 (library
 (name recfile_parser)