From 4dc7089cc46361f4f553b415d7912375b266bc78 Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Fri, 26 Jun 2020 14:58:01 -0700 Subject: [PATCH] add android support (#4545) built successfully in termux on aarch64 android 10 using: cmake -G Ninja -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=/data/data/com.termux/files/usr/ -DCMAKE_INSTALL_Z3_CMAKE_PACKAGE_DIR=/data/data/com.termux/files/usr/lib/cmake/z3 --- CMakeLists.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/CMakeLists.txt b/CMakeLists.txt index 7cf4eec58..e6b9933ce 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -200,6 +200,9 @@ if ("${CMAKE_SYSTEM_NAME}" STREQUAL "Linux") if ("${TARGET_ARCHITECTURE}" STREQUAL "x86_64") list(APPEND Z3_COMPONENT_CXX_DEFINES "-D_USE_THREAD_LOCAL") endif() +elseif ("${CMAKE_SYSTEM_NAME}" STREQUAL "Android") + message(STATUS "Platform: Android") + list(APPEND Z3_COMPONENT_CXX_DEFINES "-D_ANDROID_") elseif ("${CMAKE_SYSTEM_NAME}" MATCHES "GNU") message(STATUS "Platform: GNU/Hurd") list(APPEND Z3_COMPONENT_CXX_DEFINES "-D_HURD_")