On Thu, Jun 02, 2016 at 10:09:36AM +0200, Ludovic Courtès wrote: > > 126915:libtool: compile: > > /tmp/guix-build-gcc-5.3.0.drv-0/build/./prev-gcc/xgcc > > -B/tmp/guix-build-gcc-5.3.0.drv-0/build/./prev-gcc/ > > -B/gnu/store/6xdd64b8343v9vd3nkhkkqg7mayyxvwp-gcc-5.3.0/arm-unknown-linux-gnueabihf/bin/ > > > > -B/gnu/store/6xdd64b8343v9vd3nkhkkqg7mayyxvwp-gcc-5.3.0/arm-unknown-linux-gnueabihf/bin/ > > > > -B/gnu/store/6xdd64b8343v9vd3nkhkkqg7mayyxvwp-gcc-5.3.0/arm-unknown-linux-gnueabihf/lib/ > > -isystem > > /gnu/store/6xdd64b8343v9vd3nkhkkqg7mayyxvwp-gcc-5.3.0/arm-unknown-linux-gnueabihf/include > > -isystem > > /gnu/store/6xdd64b8343v9vd3nkhkkqg7mayyxvwp-gcc-5.3.0/arm-unknown-linux-gnueabihf/sys-include > > -DHAVE_CONFIG_H -I. -I../../../gcc-5.3.0/mpc/src -I.. > > -I/tmp/guix-build-gcc-5.3.0.drv-0/build/./gmp > > -I/tmp/guix-build-gcc-5.3.0.drv-0/gcc-5.3.0/mpfr/src -O2 -g0 -MT real.lo > > -MD -MP -MF .deps/real.Tpo -c ../../../gcc-5.3.0/mpc/src/real.c -o real.o > This is the wrong one; you should look at gcc/real.c instead.
Ah indeed, real.c is just not such a distinctive file name... Thanks for looking into it instead of me :-) Andreas