[PATCH] support for mingw-w64

[Torbjorn Granlund]

Ozkan Sezer <sezeroz at gmail.com> writes:

  One note about it:  You are keeping the 0x prefix in your
  patch but %p conversion is implementation dependant
  and, for example on linux, the 0x prefix is already added.
  Try running this:
  #include <stdio.h>
  int main (int argc, char **argv)
  {
    printf ("%p\n", (void *) argv);
    return 0;
  }
  
Does the kernel Linux have a printf?  :-)

I checked the GNU printf, and it indeed is documented as priniting 0x.
And so is the BSD one.

  .. and see for yourself.  I suggest removing the 0x prefixes.
  
I'll do that.

  > I've made that change too, locally.
  >
  > My current diff is attached.  Please try it.
  
  Your placement of mingw adjustments in configure.in
  doesn't work because they are overwritten by the swicth
  just below it.  The attached one, however works (see
  the attached 1.diff which moves the host switch below
  the host_cpu switch.)
  
Thanks, that's a better placement.

  I am very pleased that you are very helpful with this
  and support mingw-w64.  Thank you very much.
  
This should prove my love for Windoze once and for all.  :-)

The changes are now in the public repository, please see
http://gmplib.org:8000/gmp/.

-- 
Torbjörn