Project

General

Profile

« Previous | Next » 

Revision 17d2db94

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

- Renamed the only target of the generated makefile
- Solved bug: xor are now printed as bitwise xor in c : a ^ b and not a xor b.

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@131 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/c_backend.ml
774 774
  fprintf fmt "GCC=gcc@.";
775 775
  fprintf fmt "INC=/usr/local/include/lustrec@.";
776 776
  fprintf fmt "@.";
777
  fprintf fmt "main:@.";
777
  fprintf fmt "%s_%s:@." basename nodename;
778 778
  fprintf fmt "\t${GCC} -I${INC} -I. -c %s.c@." basename;    
779 779
  fprintf fmt "\t${GCC} -I${INC} -c ${INC}/io_frontend.c@.";    
780
  fprintf fmt "\t${GCC} -I${INC} -c ${INC}/StdLibrary.c@.";
781
  fprintf fmt "\t${GCC} -o %s_%s io_frontend.o StdLibrary.o -lm %s.o@." basename nodename basename
780
(*  fprintf fmt "\t${GCC} -I${INC} -c ${INC}/StdLibrary.c@."; *)
781
(*  fprintf fmt "\t${GCC} -o %s_%s io_frontend.o StdLibrary.o -lm %s.o@." basename nodename basename*)
782
 fprintf fmt "\t${GCC} -o %s_%s io_frontend.o -lm %s.o@." basename nodename basename
783

  
784

  
782 785

  
783 786
(********************************************************************************************)
784 787
(*                         Translation function                                             *)

Also available in: Unified diff