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 config-vs-release-x64.mk be enough ?

Thanks,

AG.

PS: using visual 2012 (which is ok with openmp) is not a solution for me at this time
Coordinator
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/mk_util.py
Mar 12, 2013 at 11:53 AM
What I did exactly is:

change occurrences of /openmp with /D NO_OMP in the following files:
  • config-vs-debug.mk
  • config-vs-debug-x64.mk
  • config-vs-release-x64.mk
  • config-vs-release.mk
update <OpenMPSupport>true</OpenMPSupport> into <OpenMPSupport>false</OpenMPSupport> in scripts/mk_util.py

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

I have successfully built the lib this way.

Thanks for your help.

AG.