https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66809
--- Comment #3 from Mikael Pettersson <mikpelinux at gmail dot com> --- The --with-gmp= etc options work for include files and static link libraries. but do nothing for shared libraries.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66809
--- Comment #3 from Mikael Pettersson <mikpelinux at gmail dot com> --- The --with-gmp= etc options work for include files and static link libraries. but do nothing for shared libraries.