This project is read-only.

Compiling z3 on visual c++ express edition 2010 (version 10.0)

Mar 11, 2013 at 11:46 PM
OpenMP is not available in visual studio 2010. So I would like to turn this feature off when compiling z3. I assume this is ok using the same trick as when compiling with clang++. Also I wonder which file I need to hack for this and how.

Would adding /D_NO_OMP_ in be enough ?



PS: using visual 2012 (which is ok with openmp) is not a solution for me at this time
Mar 12, 2013 at 6:37 AM
Edited Mar 12, 2013 at 6:38 AM
You should also remove all occurrences of the string /openmp from the file scripts/
Mar 12, 2013 at 11:53 AM
What I did exactly is:

change occurrences of /openmp with /D NO_OMP in the following files:
update <OpenMPSupport>true</OpenMPSupport> into <OpenMPSupport>false</OpenMPSupport> in scripts/

I could not find any reference to /openmp in this file.

I have successfully built the lib this way.

Thanks for your help.