wrong .def file name building with mingw

[Laurent Rineau]

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
> LIBGMP_LDFLAGS.
> 
> OK.
> 
> 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 
cygwin stack).

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 
http://gmplib.org/list-archives/gmp-bugs/2010-June/001977.html

My patch fixes configure.in and Makefile.am (and contains a big patch for the 
generated files 'configure' and 'Makefile.in').