Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-05-09 16:10:31 -0700 (Thu, 09 May 2002)
Revision: 3617
Log message:

      Okay, this is somewhat major change for those of you using cons to build
      MetaPRL.
      
      If you want to build MetaPRL by itself, you should use make.  cons support for
      building MetaPRL by itself is being removed.
      
      The Conscripts now exist only to build MCC and MetaPRL together.  The procedure
      is that you download the MCC and MetaPRL sources, and then configure MCC
      appropriately (it has directions) for including MetaPRL in the build, and then
      run cons from the top level directory of MCC. Trying to run cons from
      anywhere within the MetaPRL sources should result in an error.
      
      This change allows for a few simplifications of the build system. In
      particular, these silly MP_ROOT and MCC_ROOT environment variables should no
      longer matter.  (They're a bit of a kludge and hack to begin with.)
      

Changes  Path
Deleted metaprl-branches/ocaml_3_04/Conscript
Deleted metaprl-branches/ocaml_3_04/Construct
+11 -24 metaprl-branches/ocaml_3_04/theories/mc/Conscript
+2 -5 metaprl-branches/ocaml_3_04/theories/mc/README