alt-ergo dependencies on cmdliner, menhir and dune are blocking upgrades

[esope]

Hi,

I am face with the following constraints, that block some upgrades:

• alt-ergo.2.4.1 requires cmdliner (>= 1.0.0 & < 1.1.0), which impedes upgrading to cmdliner.1.1.1
• alt-ergo-lib.2.4.1 requires dune (>= 2.0 & < 3.0), which impedes upgrading to dune.3.0.3
• alt-ergo.2.4.1 requires menhir < 20211215, which impedes upgrading to menhir.20220210

I understand the above constraints were necessary at some point. Are they still necessary?
I would love to be able to upgrade to the recent versions of cmdliner, dune, and menhir.

Thanks!

[kit-ty-kate]

cc @Gbury

[kit-ty-kate]

I’m closing this as this is an issue for the alt-ergo maintainers. I would suggest opening an issue over there instead.

[Gbury]

Hi, sorry for the delay. Concerning the dependencies:

• the cmdliner bound is mainly because of breaking changes in its last release and should be fixed soon in the dev branch (see CI&Build fixes OCamlPro/alt-ergo#502 )
• the menhir bound has already been lifted in the dev branch (see Enable type inference for Menhir. OCamlPro/alt-ergo#495 )
• the bound on dune was originally due to the use of the external-lib-deps sub-command which was removed, and the dev branch has been fixed to stop using it. However, during testing, we found a bug in dune (see Dune errors when trying to remove non-empty man directory dune#5542 ), so the bound on dune is likely to stay (at least in the dev version), though since it only affects manual uninstallation, we could probably lift it in the next release of alt-ergo.

So to sum things up, all dependency upper bounds should be removed in the next release of alt-ergo.

[esope]

Sounds good! Thanks!