From 760c6bca823dc4038f905e7c4a3d935fc0020f15 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Fri, 18 May 2018 10:47:10 +0100
Subject: 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.

---
 src/ocaml_backend.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

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;
-- 
cgit v1.2.3