FROM cheddar/dev:debian64

RUN	apt-get install -y subversion

VOLUME ["/output"]

COPY full.sh /usr/local/bin

WORKDIR /cheddar-dev2/src

ENV CHEDDAR_DIR=/cheddar-dev2

ENTRYPOINT ["dev.sh", "full.sh"]

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