Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-30 16:52:35 -0700 (Sat, 30 Apr 2005)
Revision: 7237
Log message:

      Working on outstanding issues for Win32.
      
      This is a fix to be more careful about spaces in filenames,
      so that placing ocaml in
      
         C:\Program Files\Objective Caml
      
      actually works.  This adds the $(quote-argv ...) function that
      quotes an array in a way that the command-line parser can recover
      the argv string.  This allows include directories with spaces in
      a -pp option.
      

Changes  Path
+2 -2 metaprl/OMakefile
+1 -1 metaprl/editor/ml/OMakefile
+16 -16 metaprl/filter/OMakefile
+1 -1 metaprl/filter/base/OMakefile
+6 -6 metaprl/mk/defaults
+1 -1 metaprl/mk/prlcomp
+2 -0 metaprl/mllib/OMakefile
+1 -1 metaprl/tactics/proof/OMakefile
+6 -6 metaprl/util/OMakefile
+2 -2 metaprl/util/ocamldep.mll