Use cmdliner in tlapm

A preprocessing step strips out deprecated options (`-d`, `--paranoid`, `--isaprove`, `--fpdir`) and merges arguments of options that take two arguments (`--toolbox`, `--nofpl` and `--erasefp`). Thanks to Damien Doligez for the preprocessing idea to keep backward-compatibility. Signed-off-by: Stephane Glondu <[email protected]>
tlaplus · Dec 4, 2024 · d7b988e · d7b988e
1 parent c6f3781
commit d7b988e
Show file tree

Hide file tree

Showing 2 changed files with 278 additions and 159 deletions.
diff --git a/src/dune b/src/dune
@@ -19,6 +19,7 @@
   unix
   threads
   str
+  cmdliner
   dune-site
   dune-build-info
   camlzip ; main deps.