On 16 April 2015 at 18:01, Szilárd Páll wrote: > The reason why I though it was strange that this has not been fixed is > that it makes the testing of JIT cumbersome - at least to noobs not > very familiar with the gcc build system like me. I expect the main gccjit developer is working on machines where gmp/mpfr/mpc are installed via the system's package manager (as suggested at https://gcc.gnu.org/wiki/InstallingGCC) so isn't affected by problems building them in-tree, and he might not even be using ISL (it's entirely optional, not required).