failed to build z3 'unstable branch

Apr 14, 2014 at 3:11 AM
Hi,

I'm trying to use z3 for my project. What I has done is:
Following the instructions here:
http://research.microsoft.com/en-us/um/people/leonardo/blog/2012/12/10/z3-for-java.html

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 https://git01.codeplex.com/z3 -b unstable; windows 64-bit;eclipse 32bit;JDK 32bit;
Coordinator
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.