Project

General

Profile

« Previous | Next » 

Revision e1f49bdb

Added by Xavier Thirioux over 1 year ago

work in progress for ACSL support

View differences:

src/compiler_stages.ml
272 272
	 (* alloc_header_file source_lib_file source_main_file makefile_file *)
273 273
	 basename prog machine_code dependencies
274 274
     end
275
(*
276
  |  "acsl", ".lus" -> 
277
     begin
278
       Log.report ~level:1 (fun fmt -> fprintf fmt ".. ACSL annotations generation@,");
279
       ACSL_backend.translate_to_acsl
280
	 (* alloc_header_file source_lib_file source_main_file makefile_file *)
281
	 basename prog machine_code dependencies
282
     end
283
*)
275 284
  |  "C", _ -> 
276 285
      begin
277 286
      	Log.report ~level:1 (fun fmt -> fprintf fmt ".. no C code generation for lusi@,");

Also available in: Unified diff