diff options
author | Stefan Werner <stewreo@gmail.com> | 2020-09-03 11:11:59 +0300 |
---|---|---|
committer | Stefan Werner <stewreo@gmail.com> | 2020-09-03 11:11:59 +0300 |
commit | c8b84a13a5fa816aaba8cc3733f92e4fcaf938b4 (patch) | |
tree | 667fcc5ca65fff594ab0666a89725a1e264a78c5 /build_files | |
parent | 3cbfe96681f69fcbccd1519d731168700dbf878a (diff) |
Make deps: Disabled assembly for GMP on Apple/arm64.
This appears to be a configuration for which GMP has no assembly,
yet the default configure script tries to build it.
Diffstat (limited to 'build_files')
-rw-r--r-- | build_files/build_environment/cmake/gmp.cmake | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/build_files/build_environment/cmake/gmp.cmake b/build_files/build_environment/cmake/gmp.cmake index 40d8e04b3a7..16d2611ee12 100644 --- a/build_files/build_environment/cmake/gmp.cmake +++ b/build_files/build_environment/cmake/gmp.cmake @@ -25,6 +25,13 @@ else() set(GMP_OPTIONS --enable-static --disable-shared ) endif() +if(APPLE AND ("${CMAKE_OSX_ARCHITECTURES}" STREQUAL "arm64")) + set(GMP_OPTIONS + ${GMP_OPTIONS} + --disable-assembly + ) +endif() + ExternalProject_Add(external_gmp URL ${GMP_URI} DOWNLOAD_DIR ${DOWNLOAD_DIR} |