Project

General

Profile

Download (233 Bytes) Statistics
| Branch: | Tag: | Revision:
1 719ae9fd Lélio Brun
; (include_subdirs no)
2
3
; (library
4
;  (name parse)
5
;  (package lustrec)
6
;  (wrapped false)
7
;  (libraries lustre_types corelang automata))
8
9
(menhir
10 3dfb5cd8 Lélio Brun
 (modules parser_lustre)
11
 (flags --explain))
12 719ae9fd Lélio Brun
13
(ocamllex lexerLustreSpec lexer_lustre)