why3 commands not recognized on Cygwin+MinGW installation
I installed fdopen's OCaml for Windows, which currently installs a 4.09.0+mingw64c
opam repository, and then installed the why3
package. Installation went fine, but when I run why3
with any command, it either does nothing, or does something weird. For instance:
$ why3 shell
$ why3 shell
Welcome to Why3 shell. Type 'help' for help.
$
The first time, it does nothing, and subsequently, it prints the message but opens no shell.
Trying any command with --help
outputs the general usage message (i.e. the same as why3 --help
, as if the config
were not there):
$ why3 config --help
Usage: why3 [options]
... (rest omitted)
On Linux, the same command outputs the specific usage message for the config
command:
Usage: why3 config [options]
... (rest omitted)
I cannot, for instance, configure why3, since why3 config --detect
does nothing other than print the same usage message.
I tried adding --debug-all
, but it prints nothing other than timing information at the end.
Is there a way to try debugging the issue on Cygwin+MinGW? Anything that could help obtain more details about what is going wrong would be useful (e.g. setting an environment variable, looking for specific binaries...).
I tried both why3 1.2.1 and why3 1.2.0, on switches 4.06.1+mingw64c
, 4.07.0+mingw64c
, and 4.09.0+mingw64c
, and in all cases I have the same issue.
I'm aware the problem may be related to the Windows-based opam repository, but if you could provide some basic information to help debugging, e.g. some sanity checks, it would be very helpful.