Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-11-11 19:19:52 -0800 (Tue, 11 Nov 2003)
Revision: 5089
Log message:

      Updated the make build subsystem for the 3.07 changes on the branch.
      Note that make will just use "ocamlc -i" to create rewrite_types.mli -
      this is not very efficient, but we should be using omake anyway,
      so it's not too important.
      

Changes	Path
+9 -21	metaprl-branches/ocaml_3_07/Makefile
+2 -2	metaprl-branches/ocaml_3_07/OMakefile
+1 -1	metaprl-branches/ocaml_3_07/lib/Makefile
+0 -1	metaprl-branches/ocaml_3_07/mk/defaults
+1 -1	metaprl-branches/ocaml_3_07/mk/preface
+2 -2	metaprl-branches/ocaml_3_07/mk/rules
+1 -0	metaprl-branches/ocaml_3_07/refiner/refbase/Makefile
Properties	metaprl-branches/ocaml_3_07/refiner/rewrite
+4 -0	metaprl-branches/ocaml_3_07/refiner/rewrite/Makefile
+27 -19	metaprl-branches/ocaml_3_07/util/Makefile
+1 -4	metaprl-branches/ocaml_3_07/util/OMakefile
+2 -2	metaprl-branches/ocaml_3_07/util/check-status
+1 -2	metaprl-branches/ocaml_3_07/util/macro_main.ml