Use cmdliner in tlapm

This slightly changes tlapm's command-line syntax in an incompatible way: - deprecated options are no longer accepted: `-d`, `--paranoid`, `--isaprove`, `--fpdir` - options that used to take two arguments (as in `--opt A B`) now takes them as a single comma-separated argument (as in `--opt A,B`): `--toolbox`, `--nofpl`, `--erasefp`
tlaplus · Nov 21, 2024 · 489c31c · 489c31c
1 parent a7a3a0a
commit 489c31c
Show file tree

Hide file tree

Showing 2 changed files with 264 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.