lustrec/src/parsers/dune @ 3dfb5cd8
| 1 |
; (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 |
(modules parser_lustre) |
| 11 |
(flags --explain)) |
| 12 |
|
| 13 |
(ocamllex lexerLustreSpec lexer_lustre) |