diff options
| author | Théo Zimmermann | 2018-10-11 14:34:58 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2018-10-11 14:34:58 +0200 |
| commit | ea62cca89773e8101b7a81d15adbf15081eb5e0f (patch) | |
| tree | 201ff4ad740f8662ff2f1a852f1885367ca7085a /tools | |
| parent | 12527ad84e9d06a124086b1d184f56eff2772b9c (diff) | |
| parent | 32682ed3838cb09f16eb6b7e43b6a17a4341ddff (diff) | |
Merge PR #8697: [dune] Fix public name of tool: coq_tex -> coq-tex
Diffstat (limited to 'tools')
| -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)) |