failed to build z3 'unstable branch

Apr 14, 2014 at 3:11 AM

I'm trying to use z3 for my project. What I has done is:
Following the instructions here:

when I was about to build z3,open a [visual stadio command prompt].then type 'cd d:\git\z3\build&&nmake',there was something wrong.

Fatal error lnk1112:module machine type 'x86' conflicts with target type 'x64'.

I do not to know what can I do .Can you help me ?

python 2.7 32-bit ;z3 -b unstable; windows 64-bit;eclipse 32bit;JDK 32bit;
Apr 14, 2014 at 11:12 AM
Usually this error would be reported when you're using a 64-bit Visual Studio Command Prompt while Z3 is configured for a 32-bit build (because a 32-bit Python is used). Note that you have at least two different Visual Studio Command Prompts; the exact title varies with different versions of Visual Studio. If you would like to build a 32-bit version of Z3, make sure to use a Command Prompt that has x86 in its title (and not x64).

Before you attempt to rebuild, please delete all *.obj files in the build directory as they may need to be rebuilt.