diff options
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index c2b1a078a0..6c6d73f11f 100644 --- a/configure.ac +++ b/configure.ac @@ -1204,7 +1204,9 @@ AC_CHECK_HEADERS(syscall.h) AC_CHECK_HEADERS(time.h) AC_CHECK_HEADERS(ucontext.h) AC_CHECK_HEADERS(utime.h) -AC_CHECK_HEADERS(x86intrin.h) +AS_CASE("$target_cpu", [x64|x86_64|i[3-6]86*], [ + AC_CHECK_HEADERS(x86intrin.h) +]) AC_ARG_WITH([gmp], [AS_HELP_STRING([--without-gmp], |