FROM ocaml/opam:debian-12-ocaml-4.14
RUN sudo apt-get update && sudo apt-get install -y m4 pkg-config libgtk2.0-dev libexpat1-dev && sudo rm -rf /var/lib/apt/lists/*
RUN opam install -y proverif
WORKDIR /models
ENTRYPOINT ["opam", "exec", "--", "proverif"]
