AdaCore GNAT 2016 environment based on Ubuntu

Dockerfile

FROM ubuntu:14.04 AS adacore2016

ENV PATH="/usr/gnat/bin:${PATH}"

RUN apt-get update \
 && apt-get install -y --no-install-recommends \
    curl \
    libc6-dev \
    make \
 && cd /tmp \
 && curl -OJ http://mirrors.cdn.adacore.com/art/5739cefdc7a447658e0b016b \
 && tar zxf gnat-gpl-2016-x86_64-linux-bin.tar.gz \
 && cd gnat-gpl-2016-x86_64-linux-bin \
 && make ins-all \
 && cd ~ \
 && rm -rf /tmp/*