wrong .def file name building with mingw

[Torbjorn Granlund]

Laurent Rineau <laurent.rineau__gmp at normalesup.org> writes:

  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).
  
I see.

  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.
  
A file .libs/libgmp-3.dll.def is created, also on cygwin.

  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').
  
I'll take a renoewd look at that.  Does it apply to the current
configure.in and Makefile.am?

-- 
Torbjörn