lustrec/src/parsers/dune @ 57c96fb7
| 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) |