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 ?
PS: using visual 2012 (which is ok with openmp) is not a solution for me at this time