47 lines
1.3 KiB
Diff
47 lines
1.3 KiB
Diff
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;
|
|
|
|
--
|