Windows Visual C++ Express x64 static binaries

Sisyphus sisyphus1 at
Sun May 18 02:02:13 CEST 2008

----- 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
checking for a BSD-compatible install... /bin/install -c
checking whether build environment is sane... yes
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether to enable maintainer-specific portions of Makefiles... no
checking ABI=32
checking compiler gcc -m32 -O2 -fomit-frame-pointer ... no
checking compiler gcc -O2 -fomit-frame-pointer ... no
checking compiler icc -no-gcc ... no
checking compiler cc -O ... no
configure: error: could not find a working compiler, see config.log for 

What arguments does one provide to ./configure in order to get a successful 
build ?

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)


More information about the gmp-discuss mailing list