Project

General

Profile

« Previous | Next » 

Revision 8eee42de

Added by Pierre-Loïc Garoche over 7 years ago

Refined the dependencies in the generated makefile

View differences:

src/backends/C/c_backend_makefile.ml
72 72
  fprintf fmt "@.";
73 73

  
74 74
  (* Main binary *)
75
  fprintf fmt "%s_%s:@." basename nodename;
75
  fprintf fmt "%s_%s: %s.c %s_main.c@." basename nodename basename basename;
76 76
  fprintf fmt "\t${GCC} -I${INC} -I. -c %s.c@." basename;  
77 77
  fprintf fmt "\t${GCC} -I${INC} -I. -c %s_main.c@." basename;   
78 78
  fprintf_dependencies fmt dependencies;    

Also available in: Unified diff