Project

General

Profile

Revision 52c5ba00 src/options.ml

View differences:

src/options.ml
51 51

  
52 52
let salsa_enabled = ref true
53 53

  
54
let cpp       = ref false
55
let int_type  = ref "int"
56
let real_type = ref "double"
57

  
54 58
let sfunction = ref ""
55 59

  
56 60
let set_mpfr prec =
......
89 93
    "-print_clocks", Arg.Set print_clocks, "prints node clocks";
90 94
    "-O", Arg.Set_int optimization, "changes optimization \x1b[4mlevel\x1b[0m <default: 2>";
91 95
    "-verbose", Arg.Set_int verbose_level, "changes verbose \x1b[4mlevel\x1b[0m <default: 1>";
92
    "-version", Arg.Unit print_version, " displays the version";]
96
    "-version", Arg.Unit print_version, " displays the version";
97

  
98
    "-c++" , Arg.Set        cpp      , "c++ backend";
99
    "-int" , Arg.Set_string int_type , "specifies the integer type (default=\"int\")";
100
    "-real", Arg.Set_string real_type, "specifies the real type (default=\"double\" without mpfr option)";
101
]
93 102

  
94 103

  
95 104
let plugin_opt (name, activate, options) =

Also available in: Unified diff