Changes by: Justin David Smith (justins at cs.caltech.edu)
Date: 2002-05-16 21:25:38 -0700 (Thu, 16 May 2002)
Revision: 3658
Log message:

                                     ***WARNING***
      Building MCC with MetaPRL support will fail without the corresponding patch
      to MCC (just committed).  See the commit message for MCC for details.
                                     ***WARNING***
      
      Revising the build system to support the situation where $env->{MP} is a
      relative path.  A new variable, $env->{MP_HASH}, is the value of MP with a
      # prepended when MP is relative.  These changes are necessary to support
      a symlink pointing from MCC to the MetaPRL source tree.
      

Changes  Path
+2 -2 metaprl/debug/Conscript
+22 -22 metaprl/editor/ml/Conscript
+3 -3 metaprl/ensemble/Conscript
+11 -11 metaprl/filter/Conscript
+1 -1 metaprl/filter/boot/Conscript
+3 -3 metaprl/filter/filter/Conscript
+15 -12 metaprl/lib/Conscript
+4 -4 metaprl/library/Conscript
+2 -2 metaprl/mllib/Conscript
+2 -2 metaprl/refiner/Conscript
+1 -1 metaprl/refiner/refiner/Conscript
+1 -1 metaprl/refiner/term_ds/Conscript
+1 -1 metaprl/refiner/term_gen/Conscript
+14 -14 metaprl/theories/Conscript
+4 -4 metaprl/theories/mc/Conscript
+1 -1 metaprl/theories/mc/tests/Conscript
+5 -5 metaprl/theories/tactic/Conscript