From 6d690bf1ea5ad7fedf91865f52091daedb0cf43c Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 10 Mar 2020 17:40:14 +0100
Subject: Dune build rules for doc_grammar and fullGrammar.

---
 coqpp/dune | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'coqpp')

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))
-- 
cgit v1.2.3