Dockerfile

ARG BASE_IMAGE=alpine:3.13.3

# Stage extracting libraries and includes from the Android NDK
FROM $BASE_IMAGE AS ndk
ARG NDK_URL=https://dl.google.com/android/repository/android-ndk-r21e-linux-x86_64.zip

RUN wget $NDK_URL \
    && unzip android-ndk-*.zip \
    && rm android-ndk-*.zip \
    # Libraries and includes for arm
    && cp -r android-ndk-*/platforms/android-16/arch-arm ndk-chain-arm \
    && cp -r android-ndk-*/sysroot/usr/include ndk-chain-arm/usr \
    && ln -s arm-linux-androideabi/asm ndk-chain-arm/usr/include \
    # Libraries and includes for x86
    && cp -r android-ndk-*/platforms/android-16/arch-x86 ndk-chain-x86 \
    && cp -r android-ndk-*/sysroot/usr/include ndk-chain-x86/usr \
    && ln -s i686-linux-android/asm ndk-chain-x86/usr/include \
    && rm -r android-ndk-*


# Stage installing build depends and downloading/patching toolchain source
FROM ndk as src
RUN apk add --no-cache build-base gcc-gnat zlib-dev

ARG GCC_URL=https://ftp.gnu.org/gnu/gcc/gcc-10.2.0/gcc-10.2.0.tar.xz
ARG BINUTILS_URL=https://ftp.gnu.org/gnu/binutils/binutils-2.36.1.tar.xz

# Download and extract binutils, gcc, and prerequisites
COPY ada-musl.patch ada-x86-android.patch ./
RUN wget $GCC_URL $BINUTILS_URL \
    && tar xf gcc-* \
    && tar xf binutils-* \
    && rm *.tar.* \
    && mv binutils-* binutils \
    && mv gcc-* gcc \
    && cd gcc \
    && patch -p1 -i ../ada-musl.patch \
    && patch -p1 -i ../ada-x86-android.patch \
    && ./contrib/download_prerequisites
COPY build-binutils-gcc.sh ./

# https://developer.android.com/ndk/guides/abis#v7a
ENV CONFIGURE_ARGS \
    --prefix=/toolchain \
    --enable-languages=ada \
    --enable-threads=posix \
    --disable-shared \
    --enable-default-pie \
    --disable-tls \
    --enable-initfini-array \
    --disable-nls \
    --enable-plugins \
    --disable-werror \
    --with-system-zlib \
    --disable-gdb \
    CFLAGS_FOR_TARGET=-D__ANDROID_API__=16


# Stage to build ARM binutils and gcc
FROM src AS gcc-arm
ENV ARCH_CONFIGURE_ARGS \
    --target=arm-linux-androideabi \
    --with-sysroot=/ndk-chain-arm \
    --with-arch=armv7-a \
    --with-fpu=vfpv3-d16 \
    --with-float=soft
RUN cd binutils && ../build-binutils-gcc.sh
RUN cd gcc && ../build-binutils-gcc.sh


# Stage to build x86 binutils and gcc
FROM src AS gcc-x86
ENV ARCH_CONFIGURE_ARGS \
    --target=i686-linux-android \
    --with-sysroot=/ndk-chain-x86 \
    --with-arch=i686 \
    --with-sss3 \
    --with-fpmath=sse \
    --enable-sjlj-exceptions
RUN cd binutils && ../build-binutils-gcc.sh
RUN cd gcc && ../build-binutils-gcc.sh


# Stage to build gprbuild
FROM $BASE_IMAGE as gprbuild
RUN apk add --no-cache build-base gcc-gnat

ARG GPRBUILD_URL=https://community.download.adacore.com/v1/408ec35c3bb86bd227db3da55d3e1e0c572a56e3?filename=gprbuild-2020-20200429-19BD2-src.tar.gz
ARG XMLADA_URL=https://community.download.adacore.com/v1/c799502295baf074ad17b48c50f621879c392c57?filename=xmlada-2020-20200429-19A99-src.tar.gz

RUN wget $GPRBUILD_URL -O gprbuild.tar.gz \
    && wget $XMLADA_URL -O xmlada.tar.gz \
    && tar xf gprbuild.tar.gz \
    && tar xf xmlada.tar.gz \
    && mv gprbuild-2020-20200429-19BD2-src gprbuild \
    && mv xmlada-2020-20200429-19A99-src xmlada \
    && rm *.tar.*

RUN cd gprbuild \
    && mkdir -p /toolchain/bin /toolchain/libexec/gprbuild /toolchain/share/gprconfig \
    && ./bootstrap.sh --prefix=/toolchain --with-xmlada=/xmlada

# Copy toolchain to a clean image
FROM $BASE_IMAGE
LABEL maintainer="Ian Douglas Scott <ian@iandouglasscott.com>"
RUN apk add --no-cache qemu-arm libgnat
COPY --from=gcc-arm /toolchain /usr/
COPY --from=gcc-x86 /toolchain /usr/
COPY --from=gprbuild /toolchain /usr/
COPY --from=ndk /ndk-chain-arm/usr/lib /usr/arm-linux-androideabi/lib/armv7-a
COPY --from=ndk /ndk-chain-x86/usr/lib /usr/i686-linux-android/lib