Dear Iain, thanks for the quick reply. I wasn’t aware of the ticket 79885.
Yes, the intent is to use the same sysroot for build & run. Hmm, the —with-sysroot is from gcc/configure option — not from the main configure. Not wanting to turn this into a bug-report, but… using —with-sysroot instead of —with-build-sysroot failed, too. Let’s keep track of this in https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92719 I am happy to provide more info. Thanks again for Your help, Rainer > On 28. Nov 2019, at 16:34, Iain Sandoe <idsan...@googlemail.com> wrote: > > Hello again Rainer, > > Iain Sandoe <idsan...@googlemail.com> wrote: > >>> GMP however is installed elsewhere (by Homebrew, MacPorts etc), so ignore >>> any -nostdinc >> >> it also works to symlink the sources for gmp, mpfr, mpc (and isl, if you use >> it) into the source tree - those then get boostrapped along with the >> compiler and there are no resulting external dependencies (which I find >> preferable). >> >> However, —with-gmp= etc should also work with it (I’ll take a look at that >> case). > > It works fine when using —with-sysroot= and > —with-gmp=/somewhere/outside/the/SDK (/opt/….) > > So, I think one can get the desired behaviour with this configuration scheme. > > thanks > Iain > --------------------------------------------------------------------- Prof. Dr.-Ing. Rainer Keller, Hochschule Esslingen Professor für Betriebssysteme, verteilte und parallele Systeme Fakultät Informationstechnik Flandernstr. 101, Raum F01.320 73732 Esslingen T.: +49 (0)711 397-4165 F.: +49 (0)711 397-48 4165