Commit 2c26da08 authored by Yliès Falcone's avatar Yliès Falcone
Browse files

improved the dockerfile

parent 09cd728c
FROM ocaml/opam
FROM ocaml/opam:ubuntu-20.10-ocaml-4.02
# Step 1: Installing OCaml dependencies
USER opam
RUN echo "Installing OCaml packages..."
......@@ -13,13 +13,11 @@ USER decentmon
RUN chown decentmon /home/decentmon
WORKDIR /home/decentmon
# Step 3: Retrieving source files...
ADD src.zip .
ADD _oasis .
COPY init.sh .
ADD src.zip .
USER root
RUN chmod +x init.sh
USER decentmon
#ENTRYPOINT ["/bin/bash", "-l", "-c"]
#ENTRYPOINT ["bash"]
#CMD ["/home/decentmon/init.sh"]
RUN ./init.sh
unzip src.zip
eval $(opam env)
unzip src.zip
oasis setup
echo "\"src/ltl_parser.ml\": syntax_camlp4o" >> _tags
echo "\"src/alphabet_parser.ml\": syntax_camlp4o" >> _tags
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment