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 jbg...@lug-owl.de wrote: Hi! On Sat, 2014-11-22 14:33:29 +0100, Bernd Edlinger bernd.edlin...@hotmail.de 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)

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 richard.guent...@gmail.com wrote: On Sat, Nov 22, 2014 at 4:34 PM, Jan-Benedict Glaw jbg...@lug-owl.de wrote: On Sat, 2014-11-22 14:33:29 +0100, Bernd Edlinger bernd.edlin...@hotmail.de wrote: since r217627 we use an updated

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 richard.guent...@gmail.com wrote: On Sat, Nov 22, 2014 at 4:34 PM, Jan-Benedict Glaw jbg...@lug-owl.de wrote: On Sat, 2014-11-22 14:33:29 +0100, Bernd

[PATCH] Work around in-tree gmp configure problems

2014-11-22 Thread Bernd Edlinger
Hi, 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 configure uses our missing flex script, and previously that emitted 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 bernd.edlin...@hotmail.de 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