GitLab

If Coq was compiled on MinGW but the "which" command is provided by
Cygwin, the latter will not make sense of the configuration of the former.
So, rather than continuing with an empty variable (which will later cause
strange error messages about option "-package" not being recognized), we
set it to "ocamlfind".

Even if the environment is Cygwin, the compiler might still be the one
from MinGW, so the script no longer relies on uname.

This commit also makes it "only parsing", as it is just an alias.

This commit ensures that literals are normalized, so that Gappa cannot
modify them in any of the following ways.

Gappa normalizes floating-point literals on input, so that the mantissa is
not divisible by the radix. Moreover, if the exponent is zero after
normalization, the literal is turned into an integer. Also, zero is always
an integer. Finally, there are no negative floating-point literals, only
opposites of positive ones.

Note the .c suffix. Otherwise, the preprocessor might decide not do
anything, especially if "gcc -E" ends up being used.