Project

General

Profile

Revision 58a463e7 src/backends/C/c_backend.ml

View differences:

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