https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64017
--- Comment #6 from howarth at bromo dot med.uc.edu --- AFAIKS, the define of CLOOG_INT_GMP is only used in the cloog headers... https://groups.google.com/forum/#!msg/cloog-development/IFqcHdgGpM4/UOAXxd00MXIJ so it islinc="-DCLOOG_INT_GMP ${islinc}" should be removed now from config/isl.m4 and the top-level configure regenerated.
