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