1 files changed, 30 insertions, 0 deletions

diff --git a/src/main.ml b/src/main.ml
new file mode 100644
index 0000000..2f8d57c
--- /dev/null
+++ b/src/main.ml
@@ -0,0 +1,30 @@
+(*
+ * UPEM / L3 / Functional programming / Project: URM
+ * Pacien TRAN-GIRARD, Adam NAILI
+ *)
+
+open Common
+open Parser
+open Instptr
+open Reg
+open Urm
+
+let exec_with_resource func filename =
+  let file = open_in filename in
+  let res = func file in
+  close_in file; res
+
+let read_prgm = exec_with_resource (fun f -> string_of_file f |> program_of_string)
+let read_regs = exec_with_resource (fun f -> string_of_file f |> regs_of_string)
+let run run_func prgm regs = urm_mk prgm regs |> run_func |> regs_string |> print_endline
+
+let run_mode_of_string = function
+  | "run" -> urm_run
+  | "trace" -> urm_run_trace
+  | _ -> failwith "Invalid run mode"
+
+let () = match Sys.argv with
+  | [| _; "run-tests" |] -> () (* handled in test files *)
+  | [| _; mode; prgm; regs |] -> run (run_mode_of_string mode) (read_prgm prgm) (read_regs regs)
+  | _ -> print_endline "Usage: urm <run-tests | run <prgmfile> <regfile> | trace <prgmfile> <regfile>>"
+