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_")