arm-linux-gnueabi-gnatmake
GNU Ada compiler
RUN apt-get update && \
apt-get install -y gnat-6-arm-linux-gnueabi
RUN apt-get update && \
apt-get install -y gnat-5-arm-linux-gnueabi
RUN apt-get update && \
apt-get install -y gnat-8-arm-linux-gnueabi