Revision 17d2db94
Added by Pierre-Loïc Garoche over 8 years ago
| 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
- 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