Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-02-20 11:41:01 -0800 (Mon, 20 Feb 2006)
Revision: 8743
Log message:
Doh, the dependency problem was because OCaml uses the filename to
determine the module name.
So, instead of generating reflect_%.cmi in one step from %.cmiz, generate
reflect_%.ppi first, then compile it to get the reflect_%.cmi. This will
make sure OCaml sees the right filename.
Also, use :squash: %.ml in the original implicit rules to avoid forced
recompiles when the %.ml file changes.
Changes | Path |
+6 -4 | metaprl/OMakefile_theories |
Properties | metaprl/theories/poplmark/naive |
+0 -1 | metaprl/theories/poplmark/naive/MetaprlInfo |
+9 -3 | metaprl/util/ocamldep.mll |