Project

General

Profile

Revision 91b83eb8 src/compiler_stages.ml

View differences:

src/compiler_stages.ml
252 252
	  (* alloc_header_file source_lib_file source_main_file makefile_file *)
253 253
	  basename prog machine_code dependencies
254 254
      end
255
    (*
256
  |  "acsl" -> 
257
     begin
258
       Log.report ~level:1 (fun fmt -> fprintf fmt ".. ACSL annotations generation@,");
259
       ACSL_backend.translate_to_acsl
260
	 (* alloc_header_file source_lib_file source_main_file makefile_file *)
261
	 basename prog machine_code dependencies
262
     end
263
*)
255 264
  | "java" ->
256 265
     begin
257 266
       (Format.eprintf "internal error: sorry, but not yet supported !"; assert false)

Also available in: Unified diff