U.Mutlu wrote on 07/24/2018 12:40 PM:
There is this IMO important sentence in the gcc docs regarding --with-gmp etc: "These flags are applicable to the host platform only. When building a cross compiler, they will not be used to configure target libraries." https://gcc.gnu.org/install/configure.html
I would suggest to put symlinks under the source tree to the destinations, but under these basic names: gmp isl mpc mpfr and remove the corrosponding --with-xxx= from the configure.
