9d9d15ed64
Use wget instead of curl
2020-10-14 21:58:03 +09:00
13f1b8395e
Use default APIs instead of google_apis
2020-05-07 23:58:05 +09:00
77f0f79f11
Update license year
2020-04-12 03:13:36 +09:00
545c62f7d4
Remove license headers
2020-04-11 23:35:45 +09:00
ea31f5aeb5
Increase retries of Android downloads
2019-05-23 19:10:58 +02:00
eb0794a5d8
Update Android SDK, NDK (r19c), and API versions (arm:24,x86:28)
...
* Update Android NDK to version r19c
* Update Android API versions to:
* API 24 on arm and aarch64 targets
* API 28 on x86 and x86_64 targets
* Unified headers were removed in NDK 16
* Refactor the NDK and SDK installation scripts
* OpenJDK version 8 must be kept: it appears that
the Android tools do not work with more modern OpenJDK
versions.
2019-05-23 16:18:43 +02:00
3ac111c8d0
Try to fix builds of the Android SDK
2019-05-16 09:15:12 +02:00
4a56c47a17
Increase the number of retries for curl
2019-02-09 18:22:35 +01:00
45adbf88dd
Re-enables android build jobs
...
Closes #1170 .
2019-01-21 20:34:43 +01:00
b46b6e2e72
Retry all curl operations
2018-11-26 21:34:43 +00:00
37a0bd3251
Fix shellcheck issues
2018-11-20 10:25:26 +01:00
a9115d5e4b
Fix android ci
2017-10-27 16:46:32 -02:00
bccba4a996
Disable https on Android SDK fetch
...
Apparently it no longer works
2017-10-04 16:57:31 -07:00
e1c6dedf62
Add test support for x86_64-linux-android
2017-04-19 11:03:19 -03:00
599eec3781
Add test support for {aarch64, i686}-linux-android
2017-02-23 16:08:29 -03:00
Yuki Okushi
gnzlbg
Tom Parker-Shemilt
Marco A L Barbosa
Alex Crichton