FROM debian:stable-slim RUN apt-get update RUN apt-get install -y apt-utils RUN apt-get install -y make gnat gprbuild RUN apt-get install -y libc6-dev libglib2.0-dev libxfixes3 libxrender1 libxinerama1 libxi6 libxcursor1 libxcomposite1 libxdamage1 libxext6 libthai0 libpixman-1-0 libegl1 libxcb-shm0 libxcb-render0 libgl1 libgraphite2-3 RUN apt-get install -y lsb_release ENV CHEDDAR_DIR=/cheddar-dev ENV GNAT_DIR=/usr/bin VOLUME ["/cheddar-dev"] COPY dev.64.sh /usr/local/bin WORKDIR /cheddar-dev/src ENTRYPOINT ["dev.64.sh"] CMD gnatmake -Pgpr/cheddarKernel -d -XBuild=Release