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;
--