diff options
| author | Pietro Albini <pietro@pietroalbini.org> | 2019-04-12 22:07:13 +0200 |
|---|---|---|
| committer | Pietro Albini <pietro@pietroalbini.org> | 2019-04-12 22:18:48 +0200 |
| commit | 4e920f2b04d61e2e54a080423bd766c5df1a97c8 (patch) | |
| tree | c3254f6d1699fb9903c34d5e1a3c53d53b88150f /src/ci/docker/arm-android/Dockerfile | |
| parent | ee1474acc43fbf657b0fc910c139cf63cef34dc8 (diff) | |
ci: use a custom android sdk manager with pinning and mirroring
Diffstat (limited to 'src/ci/docker/arm-android/Dockerfile')
| -rw-r--r-- | src/ci/docker/arm-android/Dockerfile | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/src/ci/docker/arm-android/Dockerfile b/src/ci/docker/arm-android/Dockerfile index bbf700ae233..b934d1ce971 100644 --- a/src/ci/docker/arm-android/Dockerfile +++ b/src/ci/docker/arm-android/Dockerfile @@ -7,23 +7,21 @@ COPY scripts/android-ndk.sh /scripts/ RUN . /scripts/android-ndk.sh && \ download_and_make_toolchain android-ndk-r15c-linux-x86_64.zip arm 14 -# Note: -# Do not upgrade to `openjdk-9-jre-headless`, as it will cause certificate error -# when installing the Android SDK (see PR #45193). This is unfortunate, but -# every search result suggested either disabling HTTPS or replacing JDK 9 by -# JDK 8 as the solution (e.g. https://stackoverflow.com/q/41421340). :| RUN dpkg --add-architecture i386 && \ apt-get update && \ apt-get install -y --no-install-recommends \ libgl1-mesa-glx \ libpulse0 \ libstdc++6:i386 \ - openjdk-8-jre-headless \ - tzdata + openjdk-9-jre-headless \ + tzdata \ + wget \ + python3 COPY scripts/android-sdk.sh /scripts/ -RUN . /scripts/android-sdk.sh && \ - download_and_create_avd 4333796 armeabi-v7a 18 5264690 +COPY scripts/android-sdk-manager.py /scripts/ +COPY arm-android/android-sdk.lock /android/sdk/android-sdk.lock +RUN /scripts/android-sdk.sh ENV PATH=$PATH:/android/sdk/emulator ENV PATH=$PATH:/android/sdk/tools |