https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68702 --- Comment #3 from science0.delphin at laposte dot net --- Created attachment 36924 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36924&action=edit The log file of what is displayed on the screen by ./configure etc.