Project

General

Profile

Revision d97c196a

View differences:

Makefile.in
32 32
	@echo Compiling $<
33 33
	@$(LOCAL_BINDIR)/lustrec $(OPTION_LUSIC) -verbose 0 -d include $< 
34 34

  
35
include/mpfr_lustre.lusic: OPTION_LUSIC=-mpfr 1
35
include/mpfr_lustre.lusic: OPTION_LUSIC=-mpfr 2 
36 36

  
37 37
compile-lusi: lustrec $(LUSI_LIBS:%.lusi=%.lusic)
38 38

  
src/options.ml
43 43

  
44 44

  
45 45
let set_mpfr prec =
46
  if prec > 2 then (
46
  if prec > 1 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 an integer > 2"
52
    failwith "mpfr requires an integer > 1"
53 53
			
54 54
let options =
55 55
  [ "-d", Arg.Set_string dest_dir,

Also available in: Unified diff