- 12 Jan, 2021 1 commit
-
-
Guillaume Melquiond authored
-
- 10 Jan, 2021 1 commit
-
-
Guillaume Melquiond authored
-
- 04 Jan, 2021 5 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
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".
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 17 Dec, 2020 3 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 28 Nov, 2020 2 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 26 Nov, 2020 9 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
TASSI Enrico authored
-
- 13 Jun, 2020 5 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
Even if the environment is Cygwin, the compiler might still be the one from MinGW, so the script no longer relies on uname.
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 04 Apr, 2020 14 commits
-
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
This commit also makes it "only parsing", as it is just an alias.
-
Guillaume Melquiond authored
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.
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
Note the .c suffix. Otherwise, the preprocessor might decide not do anything, especially if "gcc -E" ends up being used.
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-