tezos-webassembly-interpreter compatible with OCaml 4.12

Author: pirbo

packages/tezos-webassembly-interpreter/tezos-webassembly-interpreter.14.0/files/webassembly_for_ocaml12.diff

@@ -0,0 +1,13 @@
+diff --git a/src/lib_webassembly/util/chunked_byte_vector.ml b/src/lib_webassembly/util/chunked_byte_vector.ml
+index 0a0e829786..1b494f05b6 100644
+--- a/src/lib_webassembly/util/chunked_byte_vector.ml
++++ b/src/lib_webassembly/util/chunked_byte_vector.ml
+@@ -26,7 +26,7 @@ module Chunk = struct
+ 
+   let of_bytes bytes =
+     let chunk = alloc () in
+-    for i = 0 to Int.max (Int64.to_int size) (Bytes.length bytes) - 1 do
++    for i = 0 to max (Int64.to_int size) (Bytes.length bytes) - 1 do
+       Array1.set chunk i (Char.code (Bytes.get bytes i))
+     done ;
+     chunk

packages/tezos-webassembly-interpreter/tezos-webassembly-interpreter.14.0/opam

@@ -13,12 +13,15 @@ depends: [
   "qcheck-alcotest" { with-test & >= "0.18" }
   "alcotest" { with-test & >= "1.5.0" }
 ]
+patches: [ "webassembly_for_ocaml12.diff" ]
 build: [
   ["rm" "-r" "vendors"]
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]
 synopsis: "WebAssembly reference interpreter with tweaks for Tezos"
+extra-files:
+  [ "webassembly_for_ocaml12.diff" "sha256=2ddce2cf01627bc2766bb5e751d06cb7d8019be1c8d30feba9f88214e9c95776" ]
 url {
   src: "https://gitlab.com/tezos/tezos/-/archive/v14.0/tezos-v14.0.tar.bz2"
   checksum: [