Project

General

Profile

Revision 59fc6b1c

View differences:

src/options.ml
53 53
let cpp       = ref false
54 54
let int_type  = ref "int"
55 55
let real_type = ref "double"
56
let print_prec_double = ref 15
57
let print_prec_float = ref 10
56 58

  
57 59
let sfunction = ref ""
58 60

  
......
157 159
    "-c++" , Arg.Set        cpp      , "c++ backend";
158 160
    "-int" , Arg.Set_string int_type , "specifies the integer type (default=\"int\")";
159 161
    "-real", Arg.Set_string real_type, "specifies the real type (default=\"double\" without mpfr option)";
162
    "-real-print-prec", Arg.Set_int print_prec_double, "specifies the number of digits to be printed for real values (default=15)";
160 163

  
161 164
    "-mauve", Arg.String (fun node -> mauve := node; cpp := true; static_mem := false), "generates the mauve code";
162 165
]

Also available in: Unified diff