Commit dc5d4436 authored by Yliès Falcone's avatar Yliès Falcone
Browse files

Rebooting decentmon build - WiP

parent a0dde0fb
myocamlbuild.ml
.DS_Store
_tags
docker/src.zip
......
......@@ -17,9 +17,6 @@ uninstall:
rm -rf _build
rm -f decentmon.native
rm -f _tags
compile:
ocaml setup.ml -build
clean:
ocaml setup.ml -clean
_oasis
src.zip
......@@ -3,7 +3,7 @@ FROM ocaml/opam
USER opam
RUN echo "Installing OCaml packages..."
RUN opam switch create 4.02.0
RUN opam install oasis batteries ocamlbuild ocamlfind camlp4
RUN opam install --unlock-base oasis camlp4 batteries ocamlbuild ocamlfind
# Create Workspace
USER root
RUN useradd -ms /bin/bash decentmon
......@@ -15,7 +15,11 @@ WORKDIR /home/decentmon
# Step 3: Retrieving source files...
ADD src.zip .
ADD _oasis .
ADD _tags .
COPY init.sh .
ENTRYPOINT ["bash"]
CMD ["/home/decentmon/init.sh"]
USER root
RUN chmod +x init.sh
USER decentmon
#ENTRYPOINT ["/bin/bash", "-l", "-c"]
#ENTRYPOINT ["bash"]
#CMD ["/home/decentmon/init.sh"]
RUN ./init.sh
docker:
cp ../_oasis .
cp ../_tags .
zip src.zip ../src/*.ml
docker build -t decentmon:1 .
......
OASISFormat: 0.4
Name: DecentMon
Version: 1.3
Synopsis: Decentralised Monitoring of LTL formulae
Authors: Ylies Falcone
License: GPL-3
Executable decentmon
Path: src
BuildTools: ocamlbuild
MainIs: decentmon.ml
CompiledObject: best
BuildDepends: batteries, camlp4
\ No newline at end of file
unzip src.zip
eval $(opam env)
oasis setup
echo "\"src/ltl_parser.ml\": syntax_camlp4o" >> _tags
echo "\"src/alphabet_parser.ml\": syntax_camlp4o" >> _tags
ocaml setup.ml -configure
ocaml setup.ml -build
This diff is collapsed.
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