RE: [PATCH] Work around in-tree gmp configure problems

2014-11-24 Thread Bernd Edlinger
Hi Richard, On Mon, 24 Nov 2014 14:11:19 +0100, Jan-Benedict Glaw wrote: > > Hi Richard, > > On Mon, 2014-11-24 12:53:11 +0100, Richard Biener > wrote: >> On Sat, Nov 22, 2014 at 4:34 PM, Jan-Benedict Glaw wrote: >>> On Sat, 2014-11-22 14:33:29 +0100, Bernd Edlinger >>> wrote: since r2

Re: [PATCH] Work around in-tree gmp configure problems

2014-11-24 Thread Jan-Benedict Glaw
Hi Richard, On Mon, 2014-11-24 12:53:11 +0100, Richard Biener wrote: > On Sat, Nov 22, 2014 at 4:34 PM, Jan-Benedict Glaw wrote: > > On Sat, 2014-11-22 14:33:29 +0100, Bernd Edlinger > > wrote: > > > since r217627 we use an updated AutoMake "missing" script. However > > > that revealed a hid

Re: [PATCH] Work around in-tree gmp configure problems

2014-11-24 Thread Richard Biener
On Sat, Nov 22, 2014 at 4:34 PM, Jan-Benedict Glaw wrote: > Hi! > > On Sat, 2014-11-22 14:33:29 +0100, Bernd Edlinger > wrote: >> since r217627 we use an updated AutoMake "missing" script. However >> that revealed a hidden bug in gmp-4.3.2's (up to gmp-6.0.0a) >> configure script. That is: an

Re: [PATCH] Work around in-tree gmp configure problems

2014-11-22 Thread Jan-Benedict Glaw
Hi! On Sat, 2014-11-22 14:33:29 +0100, Bernd Edlinger wrote: > since r217627 we use an updated AutoMake "missing" script.  However > that revealed a hidden bug in gmp-4.3.2's (up to gmp-6.0.0a) > configure script.  That is: an in-tree gmp/configure fails now if > flex is missing.  The gmp config