diff options
Diffstat (limited to 'minijazz/src/main/mjc.ml')
-rw-r--r-- | minijazz/src/main/mjc.ml | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/minijazz/src/main/mjc.ml b/minijazz/src/main/mjc.ml new file mode 100644 index 0000000..ada6b34 --- /dev/null +++ b/minijazz/src/main/mjc.ml @@ -0,0 +1,20 @@ +open Cli_options +open Mj_compiler + +let main () = + try + Arg.parse + [ + "-v",Arg.Set verbose, doc_verbose; + "-version", Arg.Unit show_version, doc_version; + "-m", Arg.Set_string main_node, doc_main_node; + "-print-types", Arg.Set print_types, doc_full_type_info; + ] + compile_impl + errmsg; + with + | Errors.Error -> exit 2;; + +main () + + |