Update benchmark (cmdliner)

mirage · Sep 15, 2023 · 83395f7 · 83395f7
1 parent 7f3f84c
commit 83395f7
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 9 deletions.
diff --git a/bench/densld.ml b/bench/densld.ml
@@ -21,7 +21,7 @@ let d =
   Arg.(value & flag & info ["d"] ~doc)
 
 let cmd =
-  ( Term.(const inflate $ file $ d)
-  , Term.info "bench" ~doc:"Run benchmarks for ns implementation" )
+  let info = Cmd.info "bench" ~doc:"Run benchmarks for ns implementation" in
+  Cmd.v info Term.(const inflate $ file $ d)
 
-let () = Term.(exit @@ eval cmd)
+let () = Cmd.(exit @@ eval cmd)
diff --git a/bench/dune b/bench/dune
@@ -14,8 +14,8 @@
   decompress.de
   decompress.zl
   cmdliner
-  yojson
-  ppx_deriving_yojson))
+  ppx_deriving_yojson.runtime
+  yojson))
 
 (executable
  (name run)
@@ -46,13 +46,12 @@
 
 (library
  (name lz_landmarks)
- (optional)
  (modules lz_landmarks)
  (enabled_if
   (= %{profile} benchmark))
  (libraries checkseum optint landmarks de)
  (preprocess
-  (pps landmarks.ppx --auto)))
+  (pps landmarks-ppx --auto)))
 
 (rule
  (copy ../lib/lz.ml lz_landmarks.ml))
@@ -69,15 +68,14 @@
 
 (library
  (name de_landmarks)
- (optional)
  (modules de_landmarks)
  (enabled_if
   (= %{profile} benchmark))
  (libraries checkseum optint landmarks de)
  (flags
   (:standard -w -55))
  (preprocess
-  (pps landmarks.ppx --auto)))
+  (pps landmarks-ppx --auto)))
 
 (rule
  (copy ../lib/de.ml de_landmarks.ml))