diff options
| author | Théo Zimmermann | 2020-03-10 17:40:14 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-03-12 10:48:33 +0100 |
| commit | 6d690bf1ea5ad7fedf91865f52091daedb0cf43c (patch) | |
| tree | cbaf89bfea279e366eca69a8e54d5cf39ccafa26 /coqpp | |
| parent | 3a5469b2097c55ecf952ead470caf03b6112cd9e (diff) | |
Dune build rules for doc_grammar and fullGrammar.
Diffstat (limited to 'coqpp')
| -rw-r--r-- | coqpp/dune | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/coqpp/dune b/coqpp/dune index 12071c7c05..d4b49301fb 100644 --- a/coqpp/dune +++ b/coqpp/dune @@ -1,9 +1,15 @@ (ocamllex coqpp_lex) (ocamlyacc coqpp_parse) +(library + (name coqpp) + (wrapped false) + (modules coqpp_ast coqpp_lex coqpp_parse coqpp_parser) + (modules_without_implementation coqpp_ast)) + (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)) + (libraries coqpp) + (modules coqpp_main)) |