Project

General

Profile

Revision 1e48ef45 src/options.ml

View differences:

src/options.ml
9 9
(*                                                                  *)
10 10
(********************************************************************)
11 11

  
12
let version = "0.1-"^Version.number
12
let version = Version.number
13
let include_path = Version.include_path
14

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

  
13 19
let main_node = ref ""
14 20
let static_mem = ref true
15 21
let print_types = ref true
......
31 37
let horn_cex = ref false
32 38
let horn_queries = ref false
33 39

  
40

  
34 41
let options =
35 42
  [ "-d", Arg.Set_string dest_dir,
36 43
    "uses the specified directory as root for generated/imported object and C files (default: .)";
......
55 62
    "-print_clocks", Arg.Set print_clocks, "prints node clocks";
56 63
    "-O", Arg.Set_int optimization, " changes optimization level <default: 2>";
57 64
    "-verbose", Arg.Set_int verbose_level, " changes verbose level <default: 1>";
58
    "-version", Arg.Unit (fun () -> print_endline version), " displays the version";]
65
    "-version", Arg.Unit print_version, " displays the version";]
59 66

  
60 67
let get_witness_dir filename =
61 68
  (* Make sure the directory exists *)

Also available in: Unified diff