mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
Bugfixes for the build on new OSX machines (XCode 5.0 on).
This commit is contained in:
parent
d548c51a98
commit
73a1dddc45
|
@ -638,7 +638,19 @@ def is_compiler(given, expected):
|
|||
def is_CXX_gpp():
|
||||
return is_compiler(CXX, 'g++')
|
||||
|
||||
def is_clang_in_gpp_form(cc):
|
||||
outf = open('clang_version', 'rw')
|
||||
subprocess.call([cc, '--version'], stdout=outf, stderr=outf)
|
||||
outf.seek(0)
|
||||
version_string = outf.read()
|
||||
contains_clang = version_string.find('clang') != -1
|
||||
outf.close()
|
||||
os.remove('clang_version')
|
||||
return contains_clang
|
||||
|
||||
def is_CXX_clangpp():
|
||||
if is_compiler(CXX, 'g++'):
|
||||
return is_clang_in_gpp_form(CXX)
|
||||
return is_compiler(CXX, 'clang++')
|
||||
|
||||
def get_cpp_files(path):
|
||||
|
|
|
@ -49,8 +49,11 @@ Revision History:
|
|||
// clear to the compiler what instructions should be used. E.g., for sqrt(), the Windows compiler selects
|
||||
// the x87 FPU, even when /arch:SSE2 is on.
|
||||
// Luckily, these are kind of standardized, at least for Windows/Linux/OSX.
|
||||
#ifdef __clang__
|
||||
#undef USE_INTRINSICS
|
||||
#else
|
||||
#include <emmintrin.h>
|
||||
|
||||
#endif
|
||||
|
||||
hwf_manager::hwf_manager() :
|
||||
m_mpz_manager(m_mpq_manager)
|
||||
|
|
Loading…
Reference in a new issue