Commit 68f7bbee authored by Yliès Falcone's avatar Yliès Falcone
Browse files

upd to the Makefile

parent 6fb338be
install:
opam install --unlock-base oasis camlp4 batteries ocamlbuild ocamlfind
oasis setup -setup-update dynamic
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
decentmon:
ocaml setup.ml -build
uninstall:
rm -f setup.data
rm -f setup.ml
rm -f setup.log
rm -f myocamlbuild.ml
rm -rf _build
rm -f decentmon.native
rm -f _tags
compile:
ocaml setup.ml -build
......
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