wrong .def file name building with mingw

[Torbjorn Granlund]

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.

Please explain either what is wrong with th above, or how I could see
any problem.

It would be nice to address any remaining Windoze build issue before GMP
5.1.

-- 
Torbjörn