(ocamllex
 (modules lexer))
(menhir
 (modules parser)
 (flags --explain --dump)
 (infer true))


(executable
 (name petitc)
 (libraries unix)
 (flags ()))

