[Pkg-ocaml-maint-commits] [prooftree] 01/02: Fix compilation with OCaml 4.02

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository prooftree.

commit 4e8f95b2517b6b63ac6b5a52260c00f7270864be
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Jun 16 09:30:24 2015 +0200

    Fix compilation with OCaml 4.02
---
 .../0001-Fix-compilation-with-OCaml-4.02.patch     | 60 ++++++++++++++++++++++
 debian/patches/series                              |  1 +
 2 files changed, 61 insertions(+)

diff --git a/debian/patches/0001-Fix-compilation-with-OCaml-4.02.patch b/debian/patches/0001-Fix-compilation-with-OCaml-4.02.patch
new file mode 100644
index 0000000..d3f5f53
--- /dev/null
+++ b/debian/patches/0001-Fix-compilation-with-OCaml-4.02.patch
@@ -0,0 +1,60 @@
+From: Stephane Glondu <steph at glondu.net>
+Date: Tue, 16 Jun 2015 09:30:01 +0200
+Subject: Fix compilation with OCaml 4.02
+
+---
+ input.ml | 12 ++++++------
+ 1 file changed, 6 insertions(+), 6 deletions(-)
+
+diff --git a/input.ml b/input.ml
+index 934943c..8188fce 100644
+--- a/input.ml
++++ b/input.ml
+@@ -55,7 +55,7 @@
+ 
+     In the following list 
+     of commands, ``%d'' stands for a positive integer and %s for a string
+-    which contains no white space. ``\{cheated|not-cheated\}'' denotes
++    which contains no white space. ... denotes
+     the alternative of either ``cheated'' or ``not-cheated''. An
+     integer following the keyword state is a state number. An integer
+     following some xxx-bytes denotes the number of bytes of the next
+@@ -79,7 +79,7 @@
+     the first message. 
+     }
+     {-  {v current-goals state %d current-sequent %s \
+-    {cheated|not-cheated} {new-layer|current-layer} proof-name-bytes %d \
++    ... ... proof-name-bytes %d \
+      command-bytes %d sequent-text-bytes %d additional-id-bytes %d \
+      existential-bytes %d\n\
+     <data-proof-name>\n\
+@@ -162,7 +162,7 @@
+     {- Full name of the proof}
+     }
+     }
+-    {- {v branch-finished state %d {cheated|not-cheated} \
++    {- {v branch-finished state %d ... \
+     proof-name-bytes %d command-bytes %d existential-bytes %d\n\
+     <data-proof-name>\n\
+     <data-command>\n\
+@@ -440,8 +440,8 @@ let parse_configure com_buf =
+ 
+ (******************************************************************************
+  ******************************************************************************
+- * current-goals state %d current-sequent %s {cheated|not-cheated} \
+- * {new-layer|current-layer}
++ * current-goals state %d current-sequent %s ... \
++ * ...
+  * proof-name-bytes %d command-bytes %d sequent-text-bytes %d \
+  * additional-id-bytes %d existential-bytes %d\n\
+  * <data-proof-name>\n\
+@@ -625,7 +625,7 @@ let parse_switch_goal com_buf =
+ 
+ 
+ (******************************************************************************
+- * branch-finished state %d {cheated|not-cheated} \
++ * branch-finished state %d ... \
+  * proof-name-bytes %d command-bytes %d existential-bytes %d\n\
+  * <data-proof-name>\n\
+  * <data-command>\n\
+-- 
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..7cd6a96
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001-Fix-compilation-with-OCaml-4.02.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/prooftree.git