Project

General

Profile

« Previous | Next » 

Revision efcc8d7f

Added by LĂ©lio Brun about 2 years ago

move arrow spec in its own header

View differences:

src/compiler_stages.ml
11 11
  | _ -> false
12 12

  
13 13

  
14
let generate_c_header = ref false
15

  
14 16
(* check whether a source file has a compiled header, if not, generate the
15 17
   compiled header *)
16 18
let compile_source_to_header prog computed_types_env computed_clocks_env dirname basename extension =
......
36 38
          (if from_lusi then prog else Lusic.extract_header dirname basename prog)
37 39
          destname
38 40
          lusic_ext;
39
        if !Options.output = "C"
40
        then C_backend_lusic.print_lusic_to_h destname lusic_ext
41
        generate_c_header := !Options.output = "C";
41 42
      end
42 43
    else (* Lusic exists and is usable. Checking compatibility *)
43 44
      begin
......
280 281
    "C", ".lus" -> 
281 282
     begin
282 283
       Log.report ~level:1 (fun fmt -> fprintf fmt ".. C code generation@,");
283
       C_backend.translate_to_c
284
       C_backend.translate_to_c !generate_c_header
284 285
	 (* alloc_header_file source_lib_file source_main_file makefile_file *)
285 286
	 basename prog machine_code dependencies
286 287
     end
......
295 296
*)
296 297
  |  "C", _ -> 
297 298
      begin
299
        C_backend.print_c_header basename;
298 300
      	Log.report ~level:1 (fun fmt -> fprintf fmt ".. no C code generation for lusi@,");
299 301
      end
300 302
  | "java", _ ->

Also available in: Unified diff