Project

General

Profile

Revision fc476249 src/options.ml

View differences:

src/options.ml
11 11

  
12 12
let version = Version.number
13 13
let codename = Version.codename
14
let include_path = Version.include_path
14
let include_dir = ref "."
15
let include_path =
16
if (!include_dir != ".") then Version.prefix ^ !include_dir
17
else Version.include_path
18
    
19

  
20

  
15 21

  
16 22
let print_version () =
17 23
  Format.printf "Lustrec compiler, version %s (%s)@." version codename;
18
  Format.printf "Include directory: %s@." include_path
24
  Format.printf "Include directory: %s@." include_path;
25
  Format.printf "User selected Include directory: %s@." !include_dir
19 26

  
20 27
let main_node = ref ""
21 28
let static_mem = ref true
......
28 35
let spec = ref "acsl"
29 36
let output = ref "C"
30 37
let dest_dir = ref "."
38

  
31 39
let verbose_level = ref 1
32 40
let global_inline = ref false
33 41
let witnesses = ref false
......
54 62
    failwith "mpfr requires a positive integer"
55 63
			
56 64
let options =
57
  [ "-d", Arg.Set_string dest_dir,
58
    "uses the specified directory \x1b[4mdir\x1b[0m as root for generated/imported object and C files <default: .>";
65
[ "-d", Arg.Set_string dest_dir,
66
"uses the specified directory \x1b[4mdir\x1b[0m as root for generated/imported object and C files <default: .>";
67
"-I", Arg.Set_string include_dir, "Include directory";
59 68
    "-node", Arg.Set_string main_node, "specifies the \x1b[4mmain\x1b[0m node";
60 69
    "-init", Arg.Set delay_calculus, "performs an initialisation analysis for Lustre nodes <default: no analysis>";
61 70
    "-dynamic", Arg.Clear static_mem, "specifies a dynamic allocation scheme for main Lustre node <default: static>";

Also available in: Unified diff