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
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.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.