From 32682ed3838cb09f16eb6b7e43b6a17a4341ddff Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 10 Oct 2018 18:05:59 +0200
Subject: [dune] Tweaks on `tools/dune`

- `coq_tex -> `coq-tex`
- we build and intall `coqworkmgr`
- remove some redundancy
---
 tools/dune | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

(limited to 'tools')

diff --git a/tools/dune b/tools/dune
index 3358d1a4e2..31b70fb06c 100644
--- a/tools/dune
+++ b/tools/dune
@@ -22,6 +22,13 @@
  (modules coqc)
  (libraries coq.toplevel))
 
+(executable
+ (name coqworkmgr)
+ (public_name coqworkmgr)
+ (package coq)
+ (modules coqworkmgr)
+ (libraries coq.stm))
+
 (executable
  (name coqdep)
  (public_name coqdep)
@@ -40,16 +47,9 @@
 
 (ocamllex coqwc)
 
-(executable
- (name coq_tex)
- (public_name coq_tex)
- (package coq)
- (modules coq_tex)
- (libraries str))
-
-(executable
- (name coq_dune)
- (public_name coq_dune)
+(executables
+ (names coq_tex coq_dune)
+ (public_names coq-tex coq_dune)
  (package coq)
- (modules coq_dune)
+ (modules coq_tex coq_dune)
  (libraries str))
-- 
cgit v1.2.3