Dockerfile.devcontainer

# Build an image suitable for use as a VSCode dev container for CN development.
FROM ubuntu:24.04

# Install system packages
RUN apt-get update
RUN apt-get upgrade -y
RUN apt-get install -y opam libgmp-dev libmpfr-dev software-properties-common time
RUN wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | apt-key add -
RUN add-apt-repository "deb http://apt.llvm.org/noble/ llvm-toolchain-noble-19 main"
RUN add-apt-repository "deb-src http://apt.llvm.org/noble/ llvm-toolchain-noble-19 main"
RUN apt-get update
RUN apt-get install -y clang-format-19
RUN ln -s /usr/bin/clang-format-19 /usr/bin/clang-format

ENV OPAMCONFIRMLEVEL=unsafe-yes
RUN opam init --disable-sandboxing

ADD . /opt/cerberus
WORKDIR /opt/cerberus
RUN opam install --deps-only ./cn.opam
RUN opam install z3
RUN opam install ocaml-lsp-server ocamlformat

# Added make install to make test CI pass
# Not sure if appropriate for a dev container
RUN eval `opam env` \
  && make install

WORKDIR /opt

COPY docker_entry_point.sh /opt/docker_entry_point.sh
RUN chmod +x /opt/docker_entry_point.sh
RUN echo "source /opt/docker_entry_point.sh" >> /root/.bashrc
WORKDIR /data
ENTRYPOINT ["/opt/docker_entry_point.sh"]