Project

General

Profile

Revision 8b87d0a5

View differences:

src/options.ml
32 32
let print_reuse = ref false
33 33
let const_unfold = ref false
34 34
let mpfr = ref false
35
let mpfr_prec = ref 0
35
let mpfr_prec = ref 100
36 36
let print_dec_types = ref false
37 37

  
38 38
let traces = ref false
src/options_management.ml
66 66
  if prec > 0 then (
67 67
    mpfr := true;
68 68
    mpfr_prec := prec;
69
    real_type := "mpfr";
69 70
    (* salsa_enabled := false; (* We deactivate salsa *) TODO *)
70 71
  )
71 72
  else
72 73
    failwith "mpfr requires a positive integer"
73 74

  
75
let set_real_type s =
76
  match s with
77
    "mpfr" -> (
78
      mpfr := true;
79
      real_type := "mpfr";
80
    )
81
  | _ -> real_type := s
82
     
74 83
let set_backend s =
75 84
  output := s;
76 85
  Backends.setup ()
......
113 122
    
114 123
    "-c++" , Arg.Set        cpp      , "c++ backend";
115 124
    "-int" , Arg.Set_string int_type , "specifies the integer type (default=\"int\")";
116
    "-real", Arg.Set_string real_type, "specifies the real type (default=\"double\" without mpfr option)";
125
    "-real", Arg.String set_real_type, "specifies the real type (default=\"double\" without mpfr option)";
117 126
    "-real-print-prec", Arg.Set_int print_prec_double, "specifies the number of digits to be printed for real values (default=15)";
118 127

  
119 128
    "-mauve", Arg.String (fun node -> mauve := node; cpp := true; static_mem := false), "generates the mauve code";

Also available in: Unified diff