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 ++++++
 tools/dune        | 12 ++++++++++++
 2 files changed, 18 insertions(+)
 create mode 100644 tools/coqdoc/dune

(limited to 'tools')

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)
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