Avoid split_on_char function that was introduced in OCaml 4.04. Use Util version instead and make sure to install util and copy it to ocaml build directory.

1 files changed, 1 insertions, 0 deletions

diff --git a/src/ocaml_backend.ml b/src/ocaml_backend.ml
index 00a6c4c3..4a1007c3 100644
--- a/src/ocaml_backend.ml
+++ b/src/ocaml_backend.ml
@@ -697,6 +697,7 @@ let ocaml_compile spec defs =
   Unix.chdir "_sbuild";
   let _ = Unix.system ("cp -r " ^ sail_dir ^ "/src/elf_loader.ml .") in
   let _ = Unix.system ("cp -r " ^ sail_dir ^ "/src/sail_lib.ml .") in
+  let _ = Unix.system ("cp -r " ^ sail_dir ^ "/src/util.ml .") in
   let _ = Unix.system ("cp -r " ^ sail_dir ^ "/lib/_tags .") in
   let out_chan = open_out (spec ^ ".ml") in
   ocaml_pp_defs out_chan defs;