# Based on 20.04 LTS
FROM ubuntu:focal

ENV TZ=America/New_York
RUN apt-get -yq update
RUN DEBIAN_FRONTEND="noninteractive" apt-get -y install tzdata
RUN DEBIAN_FRONTEND="noninteractive" apt-get -y upgrade && \
apt-get -yq --no-install-suggests --no-install-recommends install \
ocaml \
menhir \
llvm-10 \
llvm-10-dev \
m4 \
git \
aspcud \
ca-certificates \
python2.7 \
pkg-config \
cmake \
opam \
libglew-dev \
freeglut3-dev 


RUN ln -s /usr/bin/lli-10 /usr/bin/lli
RUN ln -s /usr/bin/llc-10 /usr/bin/llc


RUN opam init --disable-sandboxing
RUN opam update
RUN opam install -y \
llvm.10.0.0 \
ocamlfind \
ocamlbuild

WORKDIR /root

ENTRYPOINT ["opam", "config", "exec", "--"]

CMD ["bash"]
