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
RUN	apt-get install -y subversion
RUN	svn checkout http://beru.univ-brest.fr/svn/CHEDDAR/trunk/src /cheddar-dev/src
RUN	svn checkout http://beru.univ-brest.fr/svn/CHEDDAR/trunk/lib/linux64 /cheddar-dev/lib/linux64
RUN	svn checkout http://beru.univ-brest.fr/svn/CHEDDAR/trunk/required_packages/xmlada /cheddar-dev/required_packages/xmlada

COPY entrypoint.sh /usr/local/bin

WORKDIR /cheddar-dev/src

ENTRYPOINT ["entrypoint.sh"]

CMD ["make"]