Revision 826063db
Added by Guillaume DAVY over 3 years ago
| src/backends/Ada/ada_backend.ml | ||
|---|---|---|
| 114 | 114 |
(match main_machine with |
| 115 | 115 |
| None -> () |
| 116 | 116 |
| Some machine -> |
| 117 |
write_file destname pp_main_filename Wrapper.pp_main_adb machine;
|
|
| 117 |
write_file destname pp_main_filename (Wrapper.pp_main_adb (get_typed_submachines machines machine)) machine;
|
|
| 118 | 118 |
write_file destname (Wrapper.pp_project_name (basename^"_exe")) (Wrapper.pp_project_file machines basename) main_machine); |
| 119 | 119 |
write_file destname Wrapper.pp_project_configuration_name Wrapper.pp_project_configuration_file basename; |
| 120 | 120 |
write_file destname (Wrapper.pp_project_name (basename^"_lib")) (Wrapper.pp_project_file machines basename) None; |
Also available in: Unified diff
Ada: Correct ada main to handle statelles top level node