spectec/src/frontend/dune

(library
  (name frontend)
  (libraries util el il xl)
  (modules lexer id parser parse dim det elab)
)

(ocamllex
  (modules lexer)
)

(menhir
  (modules parser)
  (flags --explain)
)