Build error on windows 7 (x64)

[epfl-lara]

Build error on windows 7 (x64)

[psuter]

Hi,

I unfortunately have very little experience with Windows 64bit architectures. If I remember correctly, the Z3 distribution for Windows comes with only one .dll file. The build script searches the ...\x64\... directory because that is how the layout is for Linux, and the "fix" you suggest in your second bullet point seems to me like the correct way to proceed.

[dipakc]

As a workaround, I am copying the files from %Z3_INSTALL_DIR%\bin instead of %Z3_INSTALL_DIR%\x64. The compilation succeeds and the generated scalaz3 dll is for 32 bit platform. In this case, however, I need to use 32 bit JVM.

%Z3_INSTALL_DIR%\x64 directory has the following files.
Microsoft.Z3.dll msvcp100.dll msvcr100.dll vcomp100.dll z3.dll z3.exe z3.lib

[psuter]

Have you tried with recent builds of Z3? E.g. if you compile it yourself from the Codeplex sources?

[MikaelMayer]

We just released a new version which supports Windows X64. Please try it and give us feedback.