On Thu, Apr 24, 2014 at 10:15:31AM +0200, Richard Biener wrote: > We probably should try to bump the versions used by that script > to something more recent though (should we do that for the 4.9 > branch even?). Any idea what to choose here? I'd say mpc > 1.0.2 is fine, so is mpfr 3.1.2, but should we avoid the 6.0.0 version > of gmp? We shouldn't change those versions too often, otherwise
For gmp 6.0.0, there were some issues with miscompilation of that on Solaris, right? Does it work elsewhere fine? Just fuzzy memories. > -@item GNU Multiple Precision Library (GMP) version 4.3.2 (or later) > +@item GNU Multiple Precision Library (GMP) > > -Necessary to build GCC@. If a GMP source distribution is found in a > +Necessary to build GCC@. It can be downloaded from > @uref{https://gmplib.org/}. > +Older versions than 4.2.3 will not work. > +If a GMP source distribution is found in a Is there a reason why you have lowered the minimum versions (4.3.2 -> 4.2.3, 2.4.2 -> 2.4.0, 0.8.1 -> 0.8.0)? Jakub