blob: c5820a897dcf3e828ef43a07d13b1a8045f7b3a4 (
plain) (
blame)
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"
|
