From: Stephane Glondu <steph@glondu.net>

Date: Tue, 5 Jan 2010 17:17:57 +0100

Subject: [PATCH] Add (partial) OCaml 3.11.2 support

The full support is achieved by running the following commands after

extracting the tarball of version 5.12, before runing ./configure:

  cp -a ocaml_stuff/3.11.1 ocaml_stuff/3.11.2

  sed -i \

    -e 's/let ocaml_version = "3.11.1"/let ocaml_version = "3.11.2"/' \

    ocaml_stuff/3.11.2/utils/pconfig.ml

  cp -a ocaml_src/main/ast2pt.ml_3.11.1 ocaml_src/main/ast2pt.ml_3.11.2

Signed-off-by: Stephane Glondu <steph@glondu.net>

---

 main/ast2pt.ml |    2 +-

 top/rprint.ml  |    2 +-

 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/main/ast2pt.ml b/main/ast2pt.ml

index 3c1ae43..9f3af38 100644

--- a/main/ast2pt.ml

+++ b/main/ast2pt.ml

@@ -14,7 +14,7 @@ THEN

 END;

 IFDEF

-  OCAML_3_11 OR OCAML_3_11_0 OR OCAML_3_11_1 OR OCAML_3_12_0

+  OCAML_3_11 OR OCAML_3_11_0 OR OCAML_3_11_1 OR OCAML_3_11_2 OR OCAML_3_12_0

 THEN

   DEFINE AFTER_OCAML_3_11

 END;

diff --git a/top/rprint.ml b/top/rprint.ml

index c011b07..1a67480 100644

--- a/top/rprint.ml

+++ b/top/rprint.ml

@@ -11,7 +11,7 @@ THEN

   DEFINE OCAML_3_08

 END;

-IFDEF OCAML_3_11 OR OCAML_3_11_0 OR OCAML_3_11_1 OR OCAML_3_12_0 THEN

+IFDEF OCAML_3_11 OR OCAML_3_11_0 OR OCAML_3_11_1 OR OCAML_3_11_2 OR OCAML_3_12_0 THEN

   DEFINE AFTER_OCAML_3_11

 END;

--