Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-04-15 18:22:52 -0700 (Tue, 15 Apr 2003)
Revision: 4438
Log message:
Minor omake changes.
Problem: ocamldep does not generate dependencies on .mlz files.
Changes | Path |
+9 -7 | metaprl/OMakefile |
+20 -5 | metaprl/OMakeroot |
+1 -1 | metaprl/clib/OMakefile |
+2 -2 | metaprl/editor/ml/nuprl_sig.mlz |
+5 -0 | metaprl/refiner/rewrite/OMakefile |
+1 -1 | metaprl/util/OMakefile |