diff options
| author | Emilio Jesus Gallego Arias | 2020-03-13 16:37:28 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-13 16:37:28 -0400 |
| commit | 5189661a3cc165d8f6cb943c07eb9d644f339102 (patch) | |
| tree | 9fa78a7fc1b1c1b3ad5b3351a219095f28fcf83e /coqpp | |
| parent | 0d32ecd637b05214228912e80a3d56fda60735e9 (diff) | |
| parent | 6d690bf1ea5ad7fedf91865f52091daedb0cf43c (diff) | |
Merge PR #11797: Dune build rules for doc_grammar and fullGrammar.
Ack-by: ejgallego
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)) |