Project

General

Profile

Revision 826063db src/backends/Ada/ada_backend.ml

View differences:

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