diff options
| author | Robert Norton | 2019-09-12 10:49:02 +0100 |
|---|---|---|
| committer | Robert Norton | 2019-09-12 10:49:02 +0100 |
| commit | 4e1724e9c8856e38fd9683c018a43a434bf53565 (patch) | |
| tree | cc72171d9a7a5e8bebed9fa168c1ae96a3f7049d | |
| parent | 78ff67666473029726ed1b62fdbc6edc7d1d8812 (diff) | |
Remove unnecessary copies of non-existant files in ocaml backend.
| -rw-r--r-- | src/ocaml_backend.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/ocaml_backend.ml b/src/ocaml_backend.ml index 618de5e6..8899695f 100644 --- a/src/ocaml_backend.ml +++ b/src/ocaml_backend.ml @@ -1001,8 +1001,6 @@ let ocaml_compile spec defs generator_types = 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 ^ "/src/value.ml .") in - let _ = Unix.system ("cp -r " ^ sail_dir ^ "/src/toFromInterp_lib.ml .") in let tags_file = if !opt_ocaml_coverage then "_tags_coverage" else "_tags" in let _ = Unix.system ("cp -r " ^ sail_dir ^ "/lib/" ^ tags_file ^ " _tags") in let out_chan = open_out (spec ^ ".ml") in |