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.