summaryrefslogblamecommitdiff
path: root/minijazz/src/main/cli_options.ml
blob: c5820a897dcf3e828ef43a07d13b1a8045f7b3a4 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

















                                                              
(* version of the compiler *)
let version = "0.2.1"

let verbose = ref false
let print_types = ref false
let no_inline_all = ref false
let main_node = ref "main"

let base_path = ref ""

let show_version () =
  Format.printf "The MiniJazz compiler, version %s @." version
let errmsg = "Options are:"

let doc_verbose = "\t\t\tSet verbose mode"
and doc_version = "\t\tThe version of the compiler"
and doc_full_type_info = "\t\tPrint full type information"
and doc_main_node = "\t\t\tSet the main node"