Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-05-05 19:47:22 -0700 (Mon, 05 May 2003)
Revision: 4563
Log message:

      | 1. Fixed the build problem with prlc quitting too early on win32,
      |    requiring repeated runs of omake.
      |
      |    This was actually problem with Unix.execvp, which doesn't
      |    work as advertised.  The problem is fixed in prlcomp.ml
      |    by using Unix.create_process instead.  I actually ran into
      |    this several years ago, and the appropriate code was still
      |    around in a comment.
      |
      | 2. Add some missing .cvsignore entries, since win32 copies
      |    files instead of using symbolic links, which don't exist.
      |
      | 3. Moved infix.ml to infix.win32.ml as discussed with Aleksey.
      

Changes	Path
+3 -7	metaprl/OMakefile
Properties	metaprl/clib
+1 -1	metaprl/editor/ml/OMakefile
Properties	metaprl/ensemble
+7 -2	metaprl/filter/base/OMakefile
Deleted	metaprl/filter/base/infix.ml
Added	metaprl/filter/base/infix.win32.ml
Properties	metaprl/filter/base/infix.win32.ml
+11 -12	metaprl/filter/filter/prlcomp.ml
Deleted	metaprl/mk/config.default
Added	metaprl/mk/config.win32
Properties	metaprl/mk/config.win32
Properties	metaprl/mllib
Properties	metaprl/refiner/reflib
Properties	metaprl/refiner/refsig
Properties	metaprl/refiner/rewrite
Properties	metaprl/refiner/term_gen
Properties	metaprl/support/shell