From ac38da8efc5bb9d046cb70a886edba8f31fcb600 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 21 Sep 2018 04:16:42 +0200
Subject: [dune] Improve support for Coq tools.

- Install `CoqMakefile.in`
- Build `coqwc` and `coqdoc`

This allows to build most contribs I've tried with the Dune-based OPAM
package.
---
 tools/dune | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'tools/dune')

diff --git a/tools/dune b/tools/dune
index 2ba0e3fe8a..05a620fb07 100644
--- a/tools/dune
+++ b/tools/dune
@@ -10,6 +10,10 @@
  (modules coq_makefile)
  (libraries coq.lib))
 
+(install
+ (section lib)
+ (files (CoqMakefile.in as tools/CoqMakefile.in)))
+
 (executable
  (name coqdep)
  (public_name coqdep)
@@ -18,6 +22,14 @@
 
 (ocamllex coqdep_lexer)
 
+(executable
+ (name coqwc)
+ (public_name coqwc)
+ (modules coqwc)
+ (libraries))
+
+(ocamllex coqwc)
+
 (executable
  (name coq_tex)
  (public_name coq_tex)
-- 
cgit v1.2.3