Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2001-11-21 01:17:04 -0800 (Wed, 21 Nov 2001)
Revision: 3454
Log message:

      Updates to solve some build problems:
      
      make : Building with make is completely independent of the presence
         of the Mojave compiler source tree, since the MC compiler must
         be built with cons.  Thus, the only code that currently depends
         on MC, theories/mc/fir_marshal is not compiled.  Not including
         it as a part of the build of theories/mc is not a problem since it
         has no logical or otherwise meaningful content beyond the functions to
         convert between terms and the Fir.prog data structure of the compiler,
         i.e. this present no loss to the mc theory.
      
      cons : If the MC_ROOT environment variable is defined, its assumed to point
         to the root directory of the Mojave compiler source tree, and in this
         case, we build the two source trees together.  (To use MC, you need
         to define MC_ROOT anyway, so there's no need to put it as a config
         option somewhere.)  In particular, we (will) compile the
         "connection" code in theores/mc/fir_marshal.  If MC_ROOT is undefined,
         MetaPRL will build almost identically; the only difference is that
         fir_marshal is not compiled in.
      

Changes  Path
+2 -10 metaprl/editor/ml/Conscript
+68 -30 metaprl/theories/mc/Conscript
+1 -2 metaprl/theories/mc/Makefile
+1 -0 metaprl/theories/mc/README
+1 -0 metaprl/theories/mc/mc_term_op_ds.ml
+1 -0 metaprl/theories/mc/mc_term_op_ds.mli