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