- needed to build coq with ocaml 3.07

[packages/coq.git] / coq-ocaml-3.07.patch

diff --git a/coq-ocaml-3.07.patch b/coq-ocaml-3.07.patch
new file mode 100644 (file)
index 0000000..eb1da20
--- /dev/null
+++ b/coq-ocaml-3.07.patch
@@ -0,0 +1,13 @@
+Index: parsing/pcoq.ml4
+*** parsing/pcoq.ml4   2002/12/15 12:10:18     1.57
+--- parsing/pcoq.ml4   2003/10/07 14:49:25
+***************
+*** 108,113 ****
+--- 108,114 ----
+      type parsable = G.parsable
+      let parsable = G.parsable
+      let tokens = G.tokens
++     let glexer = G.glexer
+      module Entry = G.Entry
+      module Unsafe = G.Unsafe
+