https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69725
--- Comment #19 from Romain Geissler <romain.geissler at amadeus dot com> --- Note: don't forget to apply the gmp patch to the "configure" file too (wasted some time myself because I did...)
romain.geissler at amadeus dot com Sun, 22 Oct 2017 04:19:34 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69725
--- Comment #19 from Romain Geissler <romain.geissler at amadeus dot com> --- Note: don't forget to apply the gmp patch to the "configure" file too (wasted some time myself because I did...)