main.ml

open Ll
open Arg
open Assert
open Driver

(* testing harness ---------------------------------------------------------- *)
exception Ran_tests
let suite = ref (Studenttests.provided_tests @ Gradedtests.graded_tests)

let slim_suite = ref (Studenttests.provided_tests @ Gradedtests.graded_tests)
let full_suite = ref (Studenttests.provided_tests @ Gradedtests.graded_tests @ Sharedtests.shared_suite)

let exec_tests (suite : suite ref) =
  let o = run_suite !suite in
  Printf.printf "%s\n" (outcome_to_string o);
  raise Ran_tests


(* command-line arguments --------------------------------------------------- *)
let args =
  [ ("--test", Unit (fun () -> exec_tests slim_suite), "run the test suite, ignoring other files inputs")
  ; ("--full-test", Unit (fun () -> exec_tests full_suite), "run the full test suite, ignoring other inputs")
  ; ("-op", Set_string Platform.output_path, "set the path to the output files directory  [default='output']")
  ; ("-o", Set_string executable_filename, "set the name of the resulting executable [default='a.out']")
  ; ("-S", Clear assemble, "stop after generating .s files; do generate .o files")
  ; ("-c", Clear link, "stop after generating .o files; do not generate executables")
  ; ("--interpret-ll", Set interpret_ll, "runs each LL program through the LL interpreter")
  ; ("--print-ll", Set print_ll_flag, "prints the program LL code")
  ; ("--print-x86", Set print_x86_flag, "prints the program's assembly code")
  ; ("--clang", Set clang, "compiles to assembly using clang, not the compilerdesign backend")
  ; ("--execute-x86", Set execute_x86, "run the resulting executable file")
  ; ("-v", Unit Platform.enable_verbose, "enables more verbose compilation output")
  ]


(* Files found on the command line *)
let files = ref []

let main () =
  Platform.configure_os ();
  Platform.create_output_dir ();
  try
    Arg.parse args (fun filename -> files := filename :: !files)
      "Compiler Design main test harness\n\
       USAGE: ./main.native [options] <files>\n\
       see README for details about using the compiler";

    process_files !files

  with Ran_tests ->
    ()

;; main ()