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/coqdoc/dune | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 tools/coqdoc/dune

(limited to 'tools/coqdoc')

diff --git a/tools/coqdoc/dune b/tools/coqdoc/dune
new file mode 100644
index 0000000000..8e05c7d97e
--- /dev/null
+++ b/tools/coqdoc/dune
@@ -0,0 +1,6 @@
+(executable
+ (name main)
+ (public_name coqdoc)
+ (libraries str coq.config))
+
+(ocamllex cpretty)
-- 
cgit v1.2.3