Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-10-11 14:23:50 -0700 (Sat, 11 Oct 2003)
Revision: 4976
Log message:

      Fixed the dependencies for mp_version.ml.  Before, it depended on the byte-code
      libraries, causing byte-code to be built even if BYTE_ENABLED=false.
      

Changes	Path
+4 -2	metaprl/OMakefile
+25 -18	metaprl/editor/ml/OMakefile
+1 -1	metaprl/editor/ml/make_mp_version.ml
+1 -2	metaprl/refiner/term_std/OMakefile