Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-15 15:57:34 -0700 (Wed, 15 Oct 2003)
Revision: 4995
Log message:

      Renaming config (make/omake) variables:
      
      TESTS -> TESTS_ENABLED
      READLINE -> READLINE_ENABLED
      NCURSES -> NCURSES_ENABLED
      
      - This makes things more consistent internally
      (all the boolean flags are now called *_ENABLED)
      - This makes things more consistent with how mcc calls them (and we
      want to be able to use MetaPRL's libmojave, which is now the "master" one,
      in mcc).
      

Changes  Path
+1 -1 metaprl/Makefile
+7 -7 metaprl/OMakefile
+1 -1 metaprl/editor/ml/Makefile
+1 -1 metaprl/editor/ml/OMakefile
+3 -3 metaprl/mk/config.win32
+1 -1 metaprl/mk/defaults
+4 -4 metaprl/mk/make_config.sh
+14 -14 metaprl/mk/preface
+1 -1 metaprl/mk/rules
+1 -1 metaprl/refiner/term_ds/term_subst_ds.ml
+1 -1 metaprl/theories/itt/Makefile
+1 -1 metaprl/theories/itt/OMakefile
+3 -3 metaprl/util/check-status