-ocaml.cmx : \
- ocamlExtractionTable.cmx \
- mlutil.cmx \
- miniml.cmx \
- coq.cmx \
- common.cmx \
- ocaml.cmi
-ocaml.cmi : \
- ocamlExtractionTable.cmi \
- miniml.cmx \
- coq.cmi
-ocamlExtraction.cmx : \
- ocamlExtractionTable.cmx \
- ocaml.cmx \
- extraction.cmx \
- coq.cmx \
- ocamlExtraction.cmi
-ocamlExtraction.cmi : \
- ocamlExtractionTable.cmi
-ocamlExtractionTable.cmx : \
- miniml.cmx \
- coq.cmx \
- ocamlExtractionTable.cmi
-ocamlExtractionTable.cmi : \
- miniml.cmx \
- coq.cmi
+ocaml.cmx : ocamlExtractionTable.cmx mlutil.cmx miniml.cmx coq.cmx \
+ common.cmx ocaml.cmi
+ocaml.cmi : ocamlExtractionTable.cmi miniml.cmx coq.cmi
+ocamlExtraction.cmx : ocamlExtractionTable.cmx ocaml.cmx extraction.cmx \
+ coq.cmx ocamlExtraction.cmi
+ocamlExtraction.cmi : ocamlExtractionTable.cmi
+ocamlExtractionTable.cmx : miniml.cmx coq.cmx ocamlExtractionTable.cmi
+ocamlExtractionTable.cmi : miniml.cmx coq.cmi