wrong .def file name building with mingw

[Torbjorn Granlund]

Andrea Bravetti <a.bravetti at teamsystem.com> writes:
  
  - Description of what is wrong:
     I need to build GMP with MinGW on Windows and link the dll with MS
  VC 2003.
     To do that I need a .lib file that I can make with the "lib"
  command from the .def in .libs...
     The generated .def is wrong and link to a missing
  "libgmp-3.dll.dll" (note also the double .dll extension)
  
  - The configuration options you used when building GMP:
  ./configure --prefix=/home/test/gmp-5.0.5-i386-win32-shared
  --build=i386-mingw32 --host=i386-mingw32 --disable-static
  --enable-shared && make && make check && make install
  
  - The name of the compiler and its version:
    $ mingw32-gcc.exe --version
    mingw32-gcc.exe (GCC) 4.6.2
  
I believe this was fixed in the repo last winter.

Please try a snapshot, ftp://ftp.gmplib.org/pub/snapshot/ or use
mercurial to grab the current sources.

Please follow up with your results.

-- 
Torbjörn