mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Merge pull request #446 from msullivan/arm-build
Fix gcc build failure on ARM caused by including <emmintrin.h>
This commit is contained in:
commit
3356f36b8f
|
@ -29,7 +29,8 @@ Revision History:
|
|||
#include<fenv.h>
|
||||
#endif
|
||||
|
||||
#ifndef _M_IA64
|
||||
#if defined(__x86_64__) || defined(_M_X64) || \
|
||||
defined(__i386) || defined(_M_IX86)
|
||||
#define USE_INTRINSICS
|
||||
#endif
|
||||
|
||||
|
@ -47,7 +48,9 @@ Revision History:
|
|||
// Luckily, these are kind of standardized, at least for Windows/Linux/OSX.
|
||||
#ifdef __clang__
|
||||
#undef USE_INTRINSICS
|
||||
#else
|
||||
#endif
|
||||
|
||||
#ifdef USE_INTRINSICS
|
||||
#include <emmintrin.h>
|
||||
#endif
|
||||
|
||||
|
|
Loading…
Reference in a new issue