tezos-crypto compatible with OCaml 4.12

Author: pirbo

packages/tezos-crypto/tezos-crypto.14.0/files/crypto_for_ocaml12.diff

@@ -0,0 +1,37 @@
+diff --git a/src/lib_crypto/dal/dal_cryptobox.ml b/src/lib_crypto/dal/dal_cryptobox.ml
+index f5675497c9..b141337e5a 100644
+--- a/src/lib_crypto/dal/dal_cryptobox.ml
++++ b/src/lib_crypto/dal/dal_cryptobox.ml
+@@ -695,25 +695,25 @@ module Make (C : CONSTANTS) = struct
+ 
+   let _save_precompute_shards_proofs (preprocess : shards_proofs_precomputation)
+       filename =
+-    let chan = Out_channel.open_bin filename in
+-    Out_channel.output_bytes
++    let chan = Stdlib.open_out_bin filename in
++    Stdlib.output_bytes
+       chan
+       (Data_encoding.Binary.to_bytes_exn
+          Encoding.shards_proofs_precomputation_encoding
+          preprocess) ;
+-    Out_channel.close_noerr chan
++    Stdlib.close_out_noerr chan
+ 
+   let _load_precompute_shards_proofs filename =
+-    let chan = In_channel.open_bin filename in
+-    let len = Int64.to_int (In_channel.length chan) in
++    let chan = Stdlib.open_in_bin filename in
++    let len = Int64.to_int (Stdlib.LargeFile.in_channel_length chan) in
+     let data = Bytes.create len in
+-    let (_ : unit option) = In_channel.really_input chan data 0 len in
++    let () = try Stdlib.really_input chan data 0 len with End_of_file -> () in
+     let precomp =
+       Data_encoding.Binary.of_bytes_exn
+         Encoding.shards_proofs_precomputation_encoding
+         data
+     in
+-    In_channel.close_noerr chan ;
++    Stdlib.close_in_noerr chan ;
+     precomp
+ 
+   let prove_shards srs p =

packages/tezos-crypto/tezos-crypto.14.0/opam

@@ -25,12 +25,15 @@ depends: [
   "alcotest-lwt" { with-test & >= "1.5.0" }
   "tezos-bls12-381-polynomial" { >= "0.1.0" }
 ]
+patches: ["crypto_for_ocaml12.diff"]
 build: [
   ["rm" "-r" "vendors"]
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]
 synopsis: "Tezos: library with all the cryptographic primitives used by Tezos"
+extra-files:
+  [ "crypto_for_ocaml12.diff" "sha256=f8af55657c5c478b47cd4e13dd352a8367f189cca3419a783b1b00f638272681" ]
 url {
   src: "https://gitlab.com/tezos/tezos/-/archive/v14.0/tezos-v14.0.tar.bz2"
   checksum: [