Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-09 01:08:33 -0700 (Wed, 09 Jul 2003)
Revision: 4725
Log message:

      - Got rid of the LIBMOJAVE parameted in mk/config (just always use $(ROOT)/libmojave)
      - Converted the theories/experimental/compile to be compatible with the current
      incarnation of libmojave
      

Changes	Path
+3 -9	metaprl/Makefile
+1 -7	metaprl/OMakefile
+1 -1	metaprl/editor/ml/Makefile
+0 -3	metaprl/editor/ml/OMakefile
+3 -3	metaprl/filter/OMakefile
+3 -3	metaprl/library/OMakefile
+5 -7	metaprl/mk/config.win32
+0 -6	metaprl/mk/make_config.sh
+0 -3	metaprl/mk/preface
+3 -3	metaprl/mllib/OMakefile
+2 -2	metaprl/refiner/refbase/OMakefile
+3 -3	metaprl/refiner/refiner/OMakefile
+2 -2	metaprl/refiner/reflib/OMakefile
+3 -3	metaprl/refiner/refsig/OMakefile
+2 -2	metaprl/refiner/rewrite/OMakefile
+2 -2	metaprl/refiner/term_ds/OMakefile
+2 -2	metaprl/refiner/term_gen/OMakefile
+3 -3	metaprl/refiner/term_std/OMakefile
+1 -12	metaprl/theories/experimental/compile/Makefile
+2 -2	metaprl/theories/experimental/compile/OMakefile
+5 -5	metaprl/theories/experimental/compile/m_ra_live.ml
+9 -9	metaprl/theories/experimental/compile/m_ra_main.ml
+6 -6	metaprl/theories/experimental/compile/m_standardize.ml
+3 -3	metaprl/theories/experimental/compile/m_standardize.mli
+33 -33	metaprl/theories/experimental/compile/m_x86_backend.ml
+2 -6	metaprl/theories/experimental/compile/m_x86_coalesce.ml
+4 -6	metaprl/theories/experimental/compile/m_x86_regalloc.ml
+3 -3	metaprl/theories/experimental/compile/m_x86_spill.ml
+51 -66	metaprl/theories/experimental/compile/m_x86_term.ml
+2 -2	metaprl/theories/experimental/mcc/fir/type/OMakefile