File tree 4 files changed +13
-5
lines changed
4 files changed +13
-5
lines changed Original file line number Diff line number Diff line change @@ -94,7 +94,7 @@ git submodule init
94
94
git submodule update
95
95
./build_gmp.sh android
96
96
mkdir build_prover_android && cd build_prover_android
97
- cmake .. -DTARGET_PLATFORM=ANDROID -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=../package_android
97
+ cmake .. -DTARGET_PLATFORM=ANDROID -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=../package_android -DBUILD_TESTS=OFF
98
98
make -j4 && make install
99
99
```
100
100
Original file line number Diff line number Diff line change @@ -128,7 +128,11 @@ build_android()
128
128
return 1
129
129
fi
130
130
131
- export TOOLCHAIN=$ANDROID_NDK /toolchains/llvm/prebuilt/linux-x86_64
131
+ if [ " $( uname) " == " Darwin" ]; then
132
+ export TOOLCHAIN=$ANDROID_NDK /toolchains/llvm/prebuilt/darwin-x86_64
133
+ else
134
+ export TOOLCHAIN=$ANDROID_NDK /toolchains/llvm/prebuilt/linux-x86_64
135
+ fi
132
136
133
137
export TARGET=aarch64-linux-android
134
138
export API=21
@@ -173,7 +177,11 @@ build_android_x86_64()
173
177
return 1
174
178
fi
175
179
176
- export TOOLCHAIN=$ANDROID_NDK /toolchains/llvm/prebuilt/linux-x86_64
180
+ if [ " $( uname) " == " Darwin" ]; then
181
+ export TOOLCHAIN=$ANDROID_NDK /toolchains/llvm/prebuilt/darwin-x86_64
182
+ else
183
+ export TOOLCHAIN=$ANDROID_NDK /toolchains/llvm/prebuilt/linux-x86_64
184
+ fi
177
185
178
186
export TARGET=x86_64-linux-android
179
187
export API=21
Original file line number Diff line number Diff line change 79
79
80
80
endif ()
81
81
82
- if (CMAKE_HOST_SYSTEM_NAME MATCHES "Darwin" )
82
+ if (CMAKE_HOST_SYSTEM_NAME MATCHES "Darwin" AND NOT TARGET_PLATFORM MATCHES "^android(_x86_64)?" )
83
83
set (GMP_DEFINIONS -D_LONG_LONG_LIMB)
84
84
endif ()
85
85
Original file line number Diff line number Diff line change @@ -16,7 +16,7 @@ endif()
16
16
17
17
if (USE_ASM AND ARCH MATCHES "x86_64" )
18
18
19
- if (CMAKE_HOST_SYSTEM_NAME MATCHES "Darwin" )
19
+ if (CMAKE_HOST_SYSTEM_NAME MATCHES "Darwin" AND NOT TARGET_PLATFORM MATCHES "^android(_x86_64)?" )
20
20
set (NASM_FLAGS -fmacho64 --prefix _)
21
21
else ()
22
22
set (NASM_FLAGS -felf64 -DPIC)
You can’t perform that action at this time.
0 commit comments