libgccjit.so build fails with ISL enabled

[Szilárd Páll]

I'm having the same issue as the previous poster had back in January,
namely that configuring with
--enable-languages='c,c++,fortran,go,jit,lto' --enable-host-shared
fails. Tried going into the ISL build directory, distclean-ing it and
reconfiguring with --enable-host-shared, but this in turn led to the
realization that gmp is also configured carelessly:

$ grep " \$.*/configure " config.log
  $ /data/pszilard/gcc.git/gmp/configure --srcdir=../../gcc.git/gmp
--cache-file=./config.cache --prefix=/opt/tcbsys/gcc/git-39eba41
--enable-host-shared --enable-languages=c,c++,fortran,go,jit,lto
--program-transform-name=s,y,y, --disable-option-checking
--build=x86_64-linux-gnu --host=none-pc-linux-gnu
--target=none-pc-linux-gnu --disable-intermodule
--enable-checking=yes,types --disable-coverage
--enable-languages=c,c++,lto --disable-build-format-warnings
--disable-shared LEX=touch lex.yy.c

Any plans to fix this? Do I have another choice except either tracking
down all misconfigured dependencies or disabling ISL?

Cheers,
--
Szilárd