reinit the tree, so we can have metadata

1 files changed, 13 insertions, 0 deletions

diff --git a/dev-ml/camlpdf/files/ocaml43.patch b/dev-ml/camlpdf/files/ocaml43.patch
new file mode 100644
index 000000000000..86ffbe23eb14
--- /dev/null
+++ b/dev-ml/camlpdf/files/ocaml43.patch
@@ -0,0 +1,13 @@
+Index: camlpdf-2.1.1/flatestubs.c
+===================================================================
+--- camlpdf-2.1.1.orig/flatestubs.c
++++ camlpdf-2.1.1/flatestubs.c
+@@ -170,7 +170,7 @@ value camlzip_inflateEnd(value vzs)
+ 
+ value camlzip_update_crc32(value crc, value buf, value pos, value len)
+ {
+-  return copy_int32(crc32((uint32) Int32_val(crc), 
++  return copy_int32(crc32((uint32_t) Int32_val(crc), 
+                           &Byte_u(buf, Long_val(pos)),
+                           Long_val(len)));
+ }