Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-17 11:24:14 -0700 (Fri, 17 Oct 2003)
Revision: 214
Log message:
Added existential file nodes. The syntax for an existential
file is ?name. The node exists, even if the file doesn't.
This was designed as a fix to dependencies:
.SCANNER: %.cmo %.cmx: %.ml ?%.mli
$(OCAMLDEP) $(OCAMLDEPFLAGS) $(OCAMLINCLUDES) $(set $(replacesuffixes .cmi .cmo .cmx, .mli .ml .ml, $^))
where the scanner is restarted if the .mli file appears, otherwise
the .mli file is ignored.
This doesn't work, because the existential node and the
original node are completely independent. So, the rule does
not consider that the .mli file could be generated.
Committing on a branch that will be dropped immediately.