wrong .def file name building with mingw
laurent.rineau__gmp at normalesup.org
Wed Nov 14 15:03:24 CET 2012
Le mercredi 14 novembre 2012 14:55:11 Torbjorn Granlund a écrit :
> Laurent Rineau <laurent.rineau__gmp at normalesup.org> writes:
> > I believe this was fixed in the repo last winter.
> I have checked in a checkout of http://gmplib.org:8000/gmp, changeset:
> 15114 (889e31898397), and ./configure.in still hardcode wrong
> I'd really like to reproduce this locally. The way I work to make
> likely that progress is made, is by comparing behaviour before and after
> a change.
> I do
> $ path-to-gmp/configure --enable-shared --disable-static
> $ make
> $ ls -l .libs | grep -v '[.]o$'
> -rwxr-xr-x 1 tege None 724723 Nov 10 14:15 cyggmp-10.dll*
> -rw-r--r-- 1 tege None 15711 Nov 10 14:15 libgmp-3.dll.def
> -rw-r--r-- 1 tege None 368072 Nov 10 14:15 libgmp.dll.a
> lrwxrwxrwx 1 tege None 12 Nov 10 14:15 libgmp.la -> ../libgmp.la
> -rw-r--r-- 1 tege None 887 Nov 10 14:15 libgmp.lai
> I understood from the bug report that file names would contain repeated
> '.def" and/or '.dll'. I don't see any above.
> My build is on a 64-bit Windoze 7 system using cygwin.
I do not think that gcc on Cygwin needs .def files. The bug is about the
support of mingw32 or mingw64, the pure Windows port of gcc (without the
With mingw32, the produce binaries are named libgmp-10.dll and libgmp-10.lib.
And the created .def is libgmp-3.dll.def, whereas it should be libgmp-10.def.
I proposed a patch for that issue in
My patch fixes configure.in and Makefile.am (and contains a big patch for the
generated files 'configure' and 'Makefile.in').
More information about the gmp-bugs