wrong .def file name building with mingw

[Andrea Bravetti]

I would like to report a problem building gmp with mingw and contribute 
with my patch.

- The GMP version number: gmp-5.0.5

- Test program not available.

- 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

Attached my patch.


Andrea Bravetti
TeamSystem

**
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gmp-5.0.5-win32-ts1.patch
Type: text/x-patch
Size: 3000 bytes
Desc: not available
URL: <http://gmplib.org/list-archives/gmp-bugs/attachments/20121105/e0d115fa/attachment.bin>