Project

General

Profile

Download (1.01 KB) Statistics
| Branch: | Tag: | Revision:
1
(********************************************************************)
2
(*                                                                  *)
3
(*  The LustreC compiler toolset   /  The LustreC Development Team  *)
4
(*  Copyright 2012 -    --   ONERA - CNRS - INPT - ISAE-SUPAERO     *)
5
(*                                                                  *)
6
(*  LustreC is free software, distributed WITHOUT ANY WARRANTY      *)
7
(*  under the terms of the GNU Lesser General Public License        *)
8
(*  version 2.1.                                                    *)
9
(*                                                                  *)
10
(********************************************************************)
11

    
12
open Format
13

    
14
let translate_to_ada basename prog machines dependencies =
15
  let module Ads = Ada_backend_ads.Main in
16
  let module Adb = Ada_backend_adb.Main in
17
  let module Wrapper = Ada_backend_wrapper.Main in
18
  print_endline "Ada code generated!"
19

    
20
(* Local Variables: *)
21
(* compile-command:"make -C ../../.." *)
22
(* End: *)
(2-2/5)