Project

General

Profile

« Previous | Next » 

Revision 8446bf03

Added by Pierre-Loïc Garoche almost 4 years ago

- Makefile: solved dependency problem when compiling include lusi
- Renamed type declarations as lustre_types and machine_code_types

View differences:

src/main_lustre_compiler.ml
14 14
open Compiler_common
15 15

  
16 16
open Utils
17
open LustreSpec
17
open Lustre_types
18 18
 
19 19

  
20 20
let usage = "Usage: lustrec [options] \x1b[4msource file\x1b[0m"

Also available in: Unified diff