| #!/bin/bash |
| |
| set -ex |
| |
| [ -n "${ANDROID_NDK}" ] || ANDROID_NDK=r19c |
| |
| apt-get update |
| apt-get install -y --no-install-recommends autotools-dev autoconf unzip |
| apt-get autoclean && apt-get clean |
| rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/* |
| |
| pushd /tmp |
| curl -Os https://dl.google.com/android/repository/android-ndk-${ANDROID_NDK}-linux-x86_64.zip |
| popd |
| _ndk_dir=/opt/ndk |
| mkdir -p "$_ndk_dir" |
| unzip -qo /tmp/android*.zip -d "$_ndk_dir" |
| _versioned_dir=$(find "$_ndk_dir/" -mindepth 1 -maxdepth 1 -type d) |
| mv "$_versioned_dir"/* "$_ndk_dir"/ |
| rmdir "$_versioned_dir" |
| rm -rf /tmp/* |
