catala/compiler/catala_utils
Louis Gesbert 52b1c25d50 Refactor CLI to use sub-commands
The upside of this is that each command can define specific flags ; there is a
small loss of backwards-compatibility in that the command needs to be the first
argument.

`catala --help` will now only show a summary of commands, with more specific
manpages shown on `catala CMD --help`.

Another point is that the plugin interface is extended to allow plugins to be
registered as subcommands and have their own flags (this will be very useful for
adding flags to the lazy/dot/explanation plugin that has many options).

Note that no efforts has yet been made to specialise the options, the previous
type was just made global for all subcommands.
2023-06-15 18:00:10 +02:00
..
catala_utils.mld s 2023-06-12 17:00:10 +02:00
cli.ml Refactor CLI to use sub-commands 2023-06-15 18:00:10 +02:00
cli.mli Refactor CLI to use sub-commands 2023-06-15 18:00:10 +02:00
dune Use ocolor instead of ANSITerminal 2023-06-08 12:11:55 +02:00
file.ml Messages renamed to Message (lighter syntax) 2023-06-13 11:50:56 +02:00
file.mli LaTeX literate output: handle pygments coloration from within Catala 2023-03-13 22:33:48 +01:00
mark.ml Rework and normalise the Marked interface 2023-05-17 17:37:00 +02:00
mark.mli Rework and normalise the Marked interface 2023-05-17 17:37:00 +02:00
message.ml s 2023-06-12 17:00:10 +02:00
message.mli s 2023-06-12 17:00:10 +02:00
pos.ml Repair indentation of log messages 2023-06-08 13:34:54 +02:00
pos.mli Use ocolor instead of ANSITerminal 2023-06-08 12:11:55 +02:00
string.ml Add overloaded operators for the common operations 2022-12-13 11:55:24 +01:00
string.mli Add overloaded operators for the common operations 2022-12-13 11:55:24 +01:00
uid.ml Rework and normalise the Marked interface 2023-05-17 17:37:00 +02:00
uid.mli Rework and normalise the Marked interface 2023-05-17 17:37:00 +02:00