# Debian 9
FROM debian:stretch-slim

RUN apt-get update -qq \
  && apt-get -y install --no-install-recommends \
            gnat gcc make zlib1g-dev \
  && apt-get clean