File tree Expand file tree Collapse file tree 2 files changed +11
-0
lines changed Expand file tree Collapse file tree 2 files changed +11
-0
lines changed Original file line number Diff line number Diff line change @@ -187,6 +187,8 @@ function(extract_sources sources_file)
187187 if (ANDROID_ABI)
188188 if ("${ANDROID_ABI} " STREQUAL "arm64-v8a" )
189189 set (target_platforms_arg "--target-platforms=shim//:android-arm64" )
190+ elseif ("${ANDROID_ABI} " STREQUAL "x86_64" )
191+ set (target_platforms_arg "--target-platforms=shim//:android-x86_64" )
190192 else ()
191193 message (FATAL_ERROR "Unsupported ANDROID_ABI setting ${ANDROID_ABI} . Please add it here!" )
192194 endif ()
Original file line number Diff line number Diff line change @@ -65,3 +65,12 @@ execution_platform(
6565 use_windows_path_separators = host_info ().os .is_windows ,
6666 visibility = ["PUBLIC" ],
6767)
68+
69+ execution_platform (
70+ name = "android-x86_64" ,
71+ cpu_configuration = "prelude//cpu:x86_64" ,
72+ os_configuration = "prelude//os:android" ,
73+ # REVIEW: not sure if this is correct
74+ use_windows_path_separators = host_info ().os .is_windows ,
75+ visibility = ["PUBLIC" ],
76+ )
You can’t perform that action at this time.
0 commit comments