Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-12-18 00:10:31 -0800 (Thu, 18 Dec 2003)
Revision: 5193
Log message:
(bug 141) Making sure omake gets the dependencies right:
- ocamldep should not denerate .cmi/.cmo: .cmo dependencies when only .ml
file is there, but no .mli is present. Instead, it should just generate the normal
.cmi/.cmo: .cmi dependency (since .cmi is going to be build out of .ml)
- omake can _not_ use "-I $(ROOT)/lib" since things will not be in lib yet at
dependency scan time.
- OCamlGeneratedFiles needs to be redefined for theory files to include .ppo
dependencies.