Project

General

Profile

Revision 84462531 src/backends/C/c_backend_makefile.ml

View differences:

src/backends/C/c_backend_makefile.ml
63 63

  
64 64

  
65 65
let print_makefile basename nodename (dependencies:  dep_t list) fmt =
66
  fprintf fmt "GCC=gcc@.";
66
  fprintf fmt "GCC=gcc -O0@.";
67 67
  fprintf fmt "LUSTREC=%s@." Sys.executable_name;
68 68
  fprintf fmt "LUSTREC_BASE=%s@." (Filename.dirname (Filename.dirname Sys.executable_name));
69 69
  fprintf fmt "INC=${LUSTREC_BASE}/include/lustrec@.";

Also available in: Unified diff