Revision 58a463e7
Added by Pierre-Loïc Garoche over 7 years ago
| src/backends/C/c_backend.ml | ||
|---|---|---|
| 64 | 64 |
end |
| 65 | 65 |
) |
| 66 | 66 |
|
| 67 |
let translate_to_c header source_lib source_main makefile basename prog machines dependencies = |
|
| 67 |
let translate_to_c header source_lib source_main makefile basename prog machines dependencies =
|
|
| 68 | 68 |
|
| 69 | 69 |
match !Options.spec with |
| 70 | 70 |
| "no" -> begin |
| ... | ... | |
| 78 | 78 |
let module SourceMain = C_backend_main.Main (SourceMainMod) in |
| 79 | 79 |
let module Makefile = C_backend_makefile.Main (MakefileMod) in |
| 80 | 80 |
|
| 81 |
let funs = Header.print_alloc_header, Source.print_lib_c, SourceMain.print_main_c, Makefile.print_makefile in |
|
| 82 |
gen_files funs basename prog machines dependencies header source_lib source_main makefile machines |
|
| 81 |
let funs = |
|
| 82 |
Header.print_alloc_header, |
|
| 83 |
Source.print_lib_c, |
|
| 84 |
SourceMain.print_main_c, |
|
| 85 |
Makefile.print_makefile |
|
| 86 |
in |
|
| 87 |
gen_files |
|
| 88 |
funs basename prog machines dependencies |
|
| 89 |
header source_lib source_main makefile machines |
|
| 83 | 90 |
|
| 84 | 91 |
end |
| 85 | 92 |
| "acsl" -> begin |
| ... | ... | |
| 94 | 101 |
let module SourceMain = C_backend_main.Main (SourceMainMod) in |
| 95 | 102 |
let module Makefile = C_backend_makefile.Main (MakefileMod) in |
| 96 | 103 |
|
| 97 |
let funs = Header.print_alloc_header, Source.print_lib_c, SourceMain.print_main_c, Makefile.print_makefile in |
|
| 98 |
gen_files funs basename prog machines dependencies header source_lib source_main makefile machines |
|
| 104 |
let funs = |
|
| 105 |
Header.print_alloc_header, |
|
| 106 |
Source.print_lib_c, |
|
| 107 |
SourceMain.print_main_c, |
|
| 108 |
Makefile.print_makefile |
|
| 109 |
in |
|
| 110 |
gen_files |
|
| 111 |
funs basename prog machines dependencies |
|
| 112 |
header source_lib source_main makefile machines |
|
| 99 | 113 |
|
| 100 | 114 |
end |
| 101 | 115 |
| "c" -> begin |
Also available in: Unified diff
Added a construct for Dependencies (was a tuple before) and a boolean attribute stateful
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@380 041b043f-8d7c-46b2-b46e-ef0dd855326e