diff options
| -rw-r--r-- | Makefile | 1 | ||||
| -rw-r--r-- | lib/main.ml | 2 | ||||
| -rw-r--r-- | src/ocaml_backend.ml | 1 |
3 files changed, 3 insertions, 1 deletions
@@ -21,6 +21,7 @@ install: mkdir -p $(SHARE_DIR)/src cp src/elf_loader.ml $(SHARE_DIR)/src cp src/sail_lib.ml $(SHARE_DIR)/src + cp src/util.ml $(SHARE_DIR)/src cp -r src/gen_lib $(SHARE_DIR)/src cp -r src/lem_interp $(SHARE_DIR)/src diff --git a/lib/main.ml b/lib/main.ml index 1e9943a7..7dfe11fa 100644 --- a/lib/main.ml +++ b/lib/main.ml @@ -57,7 +57,7 @@ let opt_raw_addr = ref Nat_big_num.zero let options = Arg.align [ ( "-raw", Arg.String (fun s -> - let l = String.split_on_char '@' s in + let l = Util.split_on_char '@' s in match l with | [fname;addr] -> begin opt_raw_fname := fname; 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; |