Project

General

Profile

Revision 49d92bf8

View differences:

src/main_lustre_compiler.ml
18 18
 
19 19
exception StopPhase1 of program
20 20

  
21
let usage = "Usage: lustrec [options] \x1b[4msource file\x1b[0m"
21
let usage = "Usage: lustrec [options] \x1b[4msource-file\x1b[0m"
22 22

  
23 23
let extensions = [".ec"; ".lus"; ".lusi"]
24 24

  
......
356 356
    with StopPhase1 prog -> (
357 357
      if !Options.lusi then
358 358
	begin
359
	  let lusi_ext = "lusi" (* extension ^ "i" *) in
359
	  let lusi_ext = ".lusi" (* extension ^ "i" *) in
360 360
	  Log.report ~level:1 (fun fmt -> fprintf fmt ".. generating interface file %s@," (dirname ^ "/" ^ basename ^ lusi_ext));
361 361
	  print_lusi prog dirname basename lusi_ext;
362 362
	  Log.report ~level:1 (fun fmt -> fprintf fmt ".. done !@ @]@.");
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