FROM debian

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

ENV CHEDDAR_DIR=/cheddar-dev
ENV GNAT_DIR=/usr/bin

VOLUME ["/cheddar-dev"]
 
COPY dev.sh /usr/local/bin

WORKDIR /cheddar-dev/src

ENTRYPOINT ["dev.sh"]

CMD gprbuild -Pgpr/cheddarKernel -d -XBuild=Release