Closed ilankri closed 2 years ago
To do so, we need to switch to Cmdliner 1.1.
See https://github.com/dbuenzli/cmdliner/blob/master/CHANGES.md#new-cmd-module-and-deprecation-of-the-term-evaluation-interface for migration guide.
I squashed and renamed the commit to Switch to Cmdliner 1.1.0 as the code compiled fine before, it just returned deprecation warnings (which dune transforms into errors in dev mode). Thanks
Switch to Cmdliner 1.1.0
Indeed, thanks!
To do so, we need to switch to Cmdliner 1.1.
See https://github.com/dbuenzli/cmdliner/blob/master/CHANGES.md#new-cmd-module-and-deprecation-of-the-term-evaluation-interface for migration guide.