### Starting build.
# Target: main.ml.depends, tags: { extension:ml, file:main.ml, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules main.ml > main.ml.depends
# Target: main.mli.depends, tags: { extension:mli, file:main.mli, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules main.mli > main.mli.depends # cached
# Target: common.mli.depends, tags: { extension:mli, file:common.mli, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules common.mli > common.mli.depends # cached
# Target: formule.mli.depends, tags: { extension:mli, file:formule.mli, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules formule.mli > formule.mli.depends # cached
# Target: formule.cmi, tags: { byte, compile, extension:mli, file:formule.mli, interf, ocaml, quiet }
/usr/bin/ocamlc.opt -c -o formule.cmi formule.mli # cached
# Target: sequent.mli.depends, tags: { extension:mli, file:sequent.mli, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules sequent.mli > sequent.mli.depends # cached
# Target: sequent.cmi, tags: { byte, compile, extension:mli, file:sequent.mli, interf, ocaml, quiet }
/usr/bin/ocamlc.opt -c -o sequent.cmi sequent.mli # cached
# Target: state.mli.depends, tags: { extension:mli, file:state.mli, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules state.mli > state.mli.depends # cached
# Target: proof.mli.depends, tags: { extension:mli, file:proof.mli, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules proof.mli > proof.mli.depends # cached
# Target: proof.cmi, tags: { byte, compile, extension:mli, file:proof.mli, interf, ocaml, quiet }
/usr/bin/ocamlc.opt -c -o proof.cmi proof.mli # cached
# Target: state.cmi, tags: { byte, compile, extension:mli, file:state.mli, interf, ocaml, quiet }
/usr/bin/ocamlc.opt -c -o state.cmi state.mli # cached
# Target: common.cmi, tags: { byte, compile, extension:mli, file:common.mli, interf, ocaml, quiet }
/usr/bin/ocamlc.opt -c -o common.cmi common.mli # cached
# Target: main.cmi, tags: { byte, compile, extension:mli, file:main.mli, interf, ocaml, quiet }
/usr/bin/ocamlc.opt -c -o main.cmi main.mli # cached
# Target: common.ml.depends, tags: { extension:ml, file:common.ml, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules common.ml > common.ml.depends # cached
# Target: formule.ml.depends, tags: { extension:ml, file:formule.ml, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules formule.ml > formule.ml.depends # cached
# Target: formule.cmx, tags: { compile, extension:cmx, extension:ml, file:formule.cmx, file:formule.ml, implem, native, ocaml, quiet }
/usr/bin/ocamlopt.opt -c -o formule.cmx formule.ml # cached
# Target: sequent.ml.depends, tags: { extension:ml, file:sequent.ml, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules sequent.ml > sequent.ml.depends # cached
# Target: sequent.cmx, tags: { compile, extension:cmx, extension:ml, file:sequent.cmx, file:sequent.ml, implem, native, ocaml, quiet }
/usr/bin/ocamlopt.opt -c -o sequent.cmx sequent.ml # cached
# Target: state.ml.depends, tags: { extension:ml, file:state.ml, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules state.ml > state.ml.depends # cached
# Target: proof.ml.depends, tags: { extension:ml, file:proof.ml, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules proof.ml > proof.ml.depends # cached
# Target: proof.cmx, tags: { compile, extension:cmx, extension:ml, file:proof.cmx, file:proof.ml, implem, native, ocaml, quiet }
/usr/bin/ocamlopt.opt -c -o proof.cmx proof.ml # cached
# Target: state.cmx, tags: { compile, extension:cmx, extension:ml, file:state.cmx, file:state.ml, implem, native, ocaml, quiet }
/usr/bin/ocamlopt.opt -c -o state.cmx state.ml # cached
# Target: common.cmx, tags: { compile, extension:cmx, extension:ml, file:common.cmx, file:common.ml, implem, native, ocaml, quiet }
/usr/bin/ocamlopt.opt -c -o common.cmx common.ml # cached
# Target: history.ml.depends, tags: { extension:ml, file:history.ml, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules history.ml > history.ml.depends # cached
# Target: history.mli.depends, tags: { extension:mli, file:history.mli, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules history.mli > history.mli.depends # cached
# Target: history.cmi, tags: { byte, compile, extension:mli, file:history.mli, interf, ocaml, quiet }
/usr/bin/ocamlc.opt -c -o history.cmi history.mli # cached
# Target: history.cmx, tags: { compile, extension:cmx, extension:ml, file:history.cmx, file:history.ml, implem, native, ocaml, quiet }
/usr/bin/ocamlopt.opt -c -o history.cmx history.ml # cached
# Target: lexer.mll, tags: { extension:mll, file:lexer.mll, lexer, ocaml, ocamllex, quiet }
/usr/bin/ocamllex.opt -q lexer.mll # cached
# Target: lexer.ml.depends, tags: { extension:ml, file:lexer.ml, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends # cached
# Target: parser.mly, tags: { extension:mly, file:parser.mly, ocaml, ocamlyacc, parser, quiet }
/usr/bin/ocamlyacc -v parser.mly # cached
# Target: parser.mli.depends, tags: { extension:mli, file:parser.mli, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends # cached
# Target: parser.cmi, tags: { byte, compile, extension:mli, file:parser.mli, interf, ocaml, quiet }
/usr/bin/ocamlc.opt -c -o parser.cmi parser.mli # cached
# Target: lexer.cmo, tags: { byte, compile, extension:ml, file:lexer.ml, implem, ocaml, quiet }
/usr/bin/ocamlc.opt -c -o lexer.cmo lexer.ml # cached
# Target: parser.ml.depends, tags: { extension:ml, file:parser.ml, ocaml, ocamldep, quiet }
/usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends # cached
# Target: parser.cmx, tags: { compile, extension:cmx, extension:ml, file:parser.cmx, file:parser.ml, implem, native, ocaml, quiet }
/usr/bin/ocamlopt.opt -c -o parser.cmx parser.ml # cached
# Target: lexer.cmx, tags: { compile, extension:cmx, extension:ml, file:lexer.cmx, file:lexer.ml, implem, native, ocaml, quiet }
/usr/bin/ocamlopt.opt -c -o lexer.cmx lexer.ml # cached
# Target: main.cmx, tags: { compile, extension:cmx, extension:ml, file:main.cmx, file:main.ml, implem, native, ocaml, quiet }
/usr/bin/ocamlopt.opt -c -o main.cmx main.ml
# Target: main.native, tags: { dont_link_with, extension:native, file:main.native, link, native, ocaml, program, quiet }
/usr/bin/ocamlopt.opt formule.cmx sequent.cmx proof.cmx state.cmx common.cmx history.cmx parser.cmx lexer.cmx main.cmx -o main.native
# Compilation successful.
