Windows Visual C++ Express x64 static binaries

NightStrike nightstrike at
Sun May 18 05:02:00 CEST 2008

On 5/17/08, Sisyphus <sisyphus1 at> wrote:
> ----- Original Message ----- From: "NightStrike" <nightstrike at>
> .
> .
> >
> >
> >
> .
> But that compiler won't build GMP-4.2.2 straight out of the box:
> $ ./configure --disable-shared --enable-static
> checking build system type... i486-pc-mingw32
> checking host system type... i486-pc-mingw32
> What arguments does one provide to ./configure in order to get a successful
> build ?


Also, GMP doesn't support Win64 properly yet.  There are patches on
the mailing list, but no one from GMP every committed any, so you have
to apply them manually.  I think Tobias Wesley made them?  It was
someone named Wesley from the MLTon project.  Without those patches,
GMP -- under ANY compiler -- will operate incorrectly.

> A couple of weeks back I did manage to get the configure step to work - but
> I forget now exactly what I did. (I think setting ABI=64 causes configure to
> fail very early on.) Obviously the  -m32 flag is inappropriate, and I think
> there was another problem with the compiler flags.
> But, having run ./configure, the 'make' step blew up (with problems re the
> assembly code, iirc).
> My gcc details:
> $ gcc -v
> Using built-in specs.
> Target: x86_64-pc-mingw32
> Configured with: ../gcc/configure --target=x86_64-pc-mingw32
> --prefix=/tmp/win64root --with-sysroot=/tmp/win64root
> --host=x86_64-pc-mingw32 --disable-nls --with-gmp=/tmp/mathwin64
> --with-mpfr=/tmp/mathwin64
> Thread model: win32
> gcc version 4.4.0 20080320 (experimental) (GCC)

You should also get a newer version of the toolchain, and use a cross compiler.

More information about the gmp-discuss mailing list