On Tue, Apr 19, 2011 at 10:25:30PM +0200, Marc Glisse wrote: > Hello, > > I had a nasty surprise mixing newer autotools with the ltmain.sh in > gmp (the libtool it produced was broken enough to not even answer > --version). Running libtoolize to replace ltmain.sh fixed it. out of curiosity, which platform ? E.