Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-17 12:20:20 -0700 (Tue, 17 Apr 2007)
Revision: 10453
Log message:

      Made some progress towards compiling MetaPRL with OCaml 3.10+beta:
     - Made a number of updates in OMakefiles for the new camlp4 stuff.
     - Switched from pa_macro.ml to a fixed and improved version of the new Camlp4MacroParser.ml
     - Many other fixes.

Changes  Path
+24 -19 metaprl-branches/ocaml-3.10/OMakefile_common
+2 -13 metaprl-branches/ocaml-3.10/editor/ml/OMakefile
+5 -22 metaprl-branches/ocaml-3.10/filter/OMakefile
+0 -1 metaprl-branches/ocaml-3.10/filter/base/filter_exn.mli
+12 -11 metaprl-branches/ocaml-3.10/filter/base/filter_hash.mli
+1 -10 metaprl-branches/ocaml-3.10/filter/base/filter_ocaml.ml
+2 -2 metaprl-branches/ocaml-3.10/mk/defaults
+0 -1 metaprl-branches/ocaml-3.10/refiner/reflib/OMakefile
+6 -4 metaprl-branches/ocaml-3.10/refiner/reflib/mp_resource.mli
+0 -1 metaprl-branches/ocaml-3.10/refiner/term_ds/OMakefile
+0 -1 metaprl-branches/ocaml-3.10/refiner/term_std/OMakefile
+4 -1 metaprl-branches/ocaml-3.10/tactics/proof/OMakefile
+3 -2 metaprl-branches/ocaml-3.10/tactics/proof/options_boot.mli
+6 -5 metaprl-branches/ocaml-3.10/tactics/proof/proof_term_boot.ml
+9 -8 metaprl-branches/ocaml-3.10/tactics/proof/proof_term_boot.mli
+8 -8 metaprl-branches/ocaml-3.10/tactics/proof/tactic_boot.ml
+30 -29 metaprl-branches/ocaml-3.10/tactics/proof/tactic_boot_sig.ml
Copied metaprl-branches/ocaml-3.10/util/Camlp4MacroParser.ml (from rev 10451, metaprl-branches/ocaml-3.10/util/pa_macro.ml)
+284 -360 metaprl-branches/ocaml-3.10/util/Camlp4MacroParser.ml (from rev 10451, metaprl-branches/ocaml-3.10/util/pa_macro.ml)
+12 -10 metaprl-branches/ocaml-3.10/util/OMakefile
Deleted metaprl-branches/ocaml-3.10/util/macro_main.ml
Deleted metaprl-branches/ocaml-3.10/util/pa_macro.ml