On Tue, 12 Jan 2010, Vincent Lefevre wrote: >> You can try to report it against libtool if you want. > I won't: GMP (even GMP 5) uses an old libtool version, 1.5.24, > which is no longer supported by upstream. Oh, indeed, recent libtool doesn't seem to have the same problem. -- Marc Glisse