Project

General

Profile

Revision 49d92bf8 src/options.ml

View differences:

src/options.ml
43 43

  
44 44

  
45 45
let set_mpfr prec =
46
  if prec > 0 then (
46
  if prec > 2 then (
47 47
    mpfr := true;
48 48
    mpfr_prec := prec;
49 49
    (* salsa_enabled := false; (* We deactivate salsa *) TODO *)
50 50
  )
51 51
  else
52
    failwith "mpfr requires a positive integer"
52
    failwith "mpfr requires an integer > 2"
53 53
			
54 54
let options =
55 55
  [ "-d", Arg.Set_string dest_dir,
56
    "uses the specified directory \x1b[4mdir\x1b[0m as root for generated/imported object and C files <default: .>";
56
    "uses the specified \x1b[4mdirectory\x1b[0m as root for generated/imported object and C files <default: .>";
57 57
    "-node", Arg.Set_string main_node, "specifies the \x1b[4mmain\x1b[0m node";
58 58
    "-init", Arg.Set delay_calculus, "performs an initialisation analysis for Lustre nodes <default: no analysis>";
59 59
    "-dynamic", Arg.Clear static_mem, "specifies a dynamic allocation scheme for main Lustre node <default: static>";
60 60
    "-check-access", Arg.Set check, "checks at runtime that array accesses always lie within bounds <default: no check>";
61
    "-mpfr", Arg.Int set_mpfr, "replaces FP numbers by the MPFR library multiple precision numbers with a precision of \x1b[4mprec\x1b[0m bits <default: keep FP numbers>";
61
    "-mpfr", Arg.Int set_mpfr, "replaces FP numbers by the MPFR library multiple precision numbers using \x1b[4mprecision\x1b[0m bits <default: keep FP numbers>";
62 62
    "-lusi", Arg.Set lusi, "only generates a .lusi interface source file from a Lustre source <default: no generation>";
63 63
    "-no-spec", Arg.Unit (fun () -> spec := "no"), "do not generate any specification";
64 64
    "-acsl-spec", Arg.Unit (fun () -> spec := "acsl"), "generates an ACSL encoding of the specification. Only meaningful for the C backend <default>";
......
76 76
    "-print_clocks", Arg.Set print_clocks, "prints node clocks";
77 77
    "-O", Arg.Set_int optimization, "changes optimization \x1b[4mlevel\x1b[0m <default: 2>";
78 78
    "-verbose", Arg.Set_int verbose_level, "changes verbose \x1b[4mlevel\x1b[0m <default: 1>";
79
    "-version", Arg.Unit print_version, " displays the version";]
79
    "-version", Arg.Unit print_version, "displays the version";]
80 80

  
81 81

  
82 82
let plugin_opt (name, activate, options) =

Also available in: Unified diff