Dockerfile

# syntax=docker.io/docker/dockerfile:1.7-labs

FROM ocaml/opam:debian-ocaml-5.2 AS build
LABEL maintainer "Nat Karmios"
ARG DEBIAN_FRONTEND=noninteractive
RUN sudo apt-get update
RUN sudo apt-get install libgmp-dev pkg-config libsqlite3-dev python3 z3 -y
WORKDIR /home/opam/app/Gillian
COPY --exclude=./_opam --exclude=**/_build . .
RUN [ ! -f .docker_opam_cache ] || mv .docker_opam_cache ~/.opam/5.2
RUN opam update -y
RUN opam install . --deps-only
RUN opam exec -- dune build @all
CMD [ "bash" ]

FROM build AS test
WORKDIR /home/opam/app
RUN git clone https://github.com/GillianPlatform/javert-test262.git test262
RUN git clone https://github.com/GillianPlatform/collections-c-for-gillian.git collections-c
WORKDIR /home/opam/app/Gillian
CMD [ "bash" ]

FROM build AS install
RUN opam install .
WORKDIR /home/opam/app
ADD https://github.com/diffblue/cbmc/releases/download/cbmc-5.14.3/cbmc-5.14.3-Linux.deb cbmc.deb
RUN sudo dpkg -i cbmc.deb
RUN opam clean -y
RUN sudo rm -rf cbmc.deb Gillian ~/opam-repository ~/.opam/5.2/.opam-switch/sources/*
CMD [ "bash" ]

FROM scratch AS run
LABEL maintainer "Nat Karmios"
COPY --from=install / /
USER opam
WORKDIR /home/opam/app
CMD [ "bash" ]