https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69725
--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> --- I wondered if the system ISL (isl-0.14-4.fc23) was being picked up instead of the one in my tree (isl-0.15), or some combination of both at different times. So I tried --with-isl thinking that might be enough to avoid a potential mixup but the errors are the same as in the comment #0. I then tried reconfiguring --without-isl expecting it to disable Graphite and thus obviate the need to use ISL for anything but got a different error this time (see below). But since this was still with the isl/ directory in my tree, I then removed the directory and redid the same step again, with the same errors: $ /src/gcc/trunk/configure --enable-languages=c,c++,fortran,go,lto,obj-c++ --enable-checking=release --without-isl ... $ make -j10 BOOT_CFLAGS='-O2 -flto -fuse-linker-plugin' profiledbootstrap ... checking for __gmpz_init in -lgmp... no configure: error: libgmp not found or uses a different ABI. Please read the INSTALL file -- see "In case of problem". Makefile:5929: recipe for target 'configure-stageprofile-mpfr' failed make[2]: *** [configure-stageprofile-mpfr] Error 1 make[2]: Leaving directory '/home/msebor/build/gcc-trunk-profiledbootstrap' Makefile:26140: recipe for target 'stageprofile-bubble' failed make[1]: *** [stageprofile-bubble] Error 2 make[1]: Leaving directory '/home/msebor/build/gcc-trunk-profiledbootstrap' Makefile:26308: recipe for target 'profiledbootstrap' failed make: *** [profiledbootstrap] Error 2
