summaryrefslogtreecommitdiff
path: root/minijazz/src/main/mjc.ml
diff options
context:
space:
mode:
Diffstat (limited to 'minijazz/src/main/mjc.ml')
-rw-r--r--minijazz/src/main/mjc.ml20
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 ()
+
+