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)
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
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
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
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