diff options
| author | Emilio Jesus Gallego Arias | 2018-10-10 18:05:59 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-10 19:21:34 +0200 |
| commit | 32682ed3838cb09f16eb6b7e43b6a17a4341ddff (patch) | |
| tree | ea8923768a0806e94e8d5985d8e6f38109700420 /tools/dune | |
| parent | 040ad198e38776bb9f398329243b2fe41434f2d5 (diff) | |
[dune] Tweaks on `tools/dune`
- `coq_tex -> `coq-tex`
- we build and intall `coqworkmgr`
- remove some redundancy
Diffstat (limited to 'tools/dune')
| -rw-r--r-- | tools/dune | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/tools/dune b/tools/dune index 3358d1a4e2..31b70fb06c 100644 --- a/tools/dune +++ b/tools/dune @@ -23,6 +23,13 @@ (libraries coq.toplevel)) (executable + (name coqworkmgr) + (public_name coqworkmgr) + (package coq) + (modules coqworkmgr) + (libraries coq.stm)) + +(executable (name coqdep) (public_name coqdep) (package coq) @@ -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)) |