Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-04-02 16:12:23 -0800 (Wed, 02 Apr 2003)
Revision: 4374
Log message:

      These are bug fixes so that the M language compiler can be built
      again.  Someone mispelled 'cmxa' in editor/ml/Makefile.  Also, the
      list of files was incorrect in compile/Makefile.  Finally, there
      was an unused match case in M_x86_term (how it managed to survive
      this long is beyond me).
      
      Incidentally, it would appear that in order to build the M
      language compiler, lm_libmojave has to be a subdirectory of
      MetaPRL?  At least that's the only way I could get it to work.
      
      One last thing, only an 'opt' build seems to work if all I have
      is  THEORIES = tactic ocaml base experimental/compile.  A
      byte-code build keeps dying in editor/ml becuase it seems like
      lm_libmojave/cutil never gets built (and I don't know why).
      

Changes	Path
+1 -1	metaprl/editor/ml/Makefile
+4 -2	metaprl/theories/experimental/compile/Makefile
+0 -1	metaprl/theories/experimental/compile/m_x86_term.ml