Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-18 10:28:50 -0700 (Sat, 18 Oct 2003)
Revision: 215
Log message:
This is an alternative approach to possible dependencies. In this case,
you would use the following conditional rule:
.SCANNER: %.cmo %.cmx: %.ml :maybe: %.mli
$(OCAMLDEP) $(OCAMLDEPFLAGS) $(OCAMLINCLUDES) $(set $(replacesuffixes .cmi .cmo .cmx, .mli .ml .ml, $^))
Which establishes a dependency if the .mli file exists.
For each rule, we keep track of the "maybe" dependencies.
However, this is expensive, and its really hard to get it right.
Going back to the approach using existential nodes.