path: root/coqpp/dune

(ocamllex coqpp_lex)
(ocamlyacc coqpp_parse)

(executable
 (name coqpp_main)
 (public_name coqpp)
 (package coq)
 (modules coqpp_ast coqpp_lex coqpp_parse coqpp_parser coqpp_main)
 (modules_without_implementation coqpp_ast))