FROM i386/debian:stable-slim

RUN apt-get update
RUN	apt-get install -y apt-utils 
RUN apt-get install -y make:i386 gnat:i386 gprbuild:i386 
RUN	apt-get install -y libc6-dev:i386 libglib2.0-dev:i386 libxfixes3:i386 libxrender1:i386 libxinerama1:i386 libxi6:i386 libxcursor1:i386 libxcomposite1:i386 libxdamage1:i386 libxext6:i386 libthai0:i386 libpixman-1-0:i386 libegl1:i386 libxcb-shm0:i386 libxcb-render0:i386 libgl1:i386 libgraphite2-3:i386

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

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

WORKDIR /cheddar-dev/src

ENTRYPOINT ["dev.32.sh"]

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