Project

General

Profile

Revision 9b0432bc src/compiler_stages.ml

View differences:

src/compiler_stages.ml
3 3
open Lustrec.Utils
4 4
open Compiler_common
5 5
open Lustrec.Lustre_types
6
open Backends
7

  
6 8
module Mpfr = Lustrec_mpfr
7 9

  
8 10
exception StopPhase1 of program_t
......
293 295
      begin
294 296
      	Lustrec.Log.report ~level:1 (fun fmt -> fprintf fmt ".. no C code generation for lusi@,");
295 297
      end
298
  | "tiny", ".lus" -> 
299
  begin
300
    Tiny_backend.translate_to_tiny basename prog machine_code dependencies
301
  end
296 302
  | "java", _ ->
297 303
     begin
298 304
       (Format.eprintf "internal error: sorry, but not yet supported !"; assert false)

Also available in: Unified diff