Project

General

Profile

Revision 5cf953ec src/options.ml

View differences:

src/options.ml
12 12
let version = Version.number
13 13
let include_path = Version.include_path
14 14

  
15
let print_version () = 
15
let print_version () =
16 16
  Format.printf "Lustrec compiler, version %s@." version;
17
  Format.printf "Include directory: %s@." include_path  
17
  Format.printf "Include directory: %s@." include_path
18 18

  
19 19
let main_node = ref ""
20 20
let static_mem = ref true

Also available in: Unified diff