Merge PR #8646: [dune] Add `(package coq)` scope to artifacts.

3 files changed, 10 insertions, 1 deletions

diff --git a/tools/coq_dune.ml b/tools/coq_dune.ml
index 691f37b414..ff6cefdf24 100644
--- a/tools/coq_dune.ml
+++ b/tools/coq_dune.ml
@@ -194,7 +194,7 @@ let out_install fmt dir ff =
   let itarget = String.concat "/" dir in
   let ff = pmap (function | VO vo -> Some vo.target | _ -> None) ff in
   let pp_ispec fmt tg = fprintf fmt "(%s as %s)" tg (itarget^"/"^tg) in
-  fprintf fmt "(install@\n @[(section lib)@\n(files @[%a@])@])@\n"
+  fprintf fmt "(install@\n @[(section lib)@\n(package coq)@\n(files @[%a@])@])@\n"
     (pp_list pp_ispec sep) ff
 
 (* For each directory, we must record two things, the build rules and
diff --git a/tools/coqdoc/dune b/tools/coqdoc/dune
index b20d9f9b2e..9c0a6ccffe 100644
--- a/tools/coqdoc/dune
+++ b/tools/coqdoc/dune
@@ -1,5 +1,6 @@
 (install
  (section lib)
+ (package coq)
  (files
   (coqdoc.css as tools/coqdoc/coqdoc.css)
   (coqdoc.sty as tools/coqdoc/coqdoc.sty)))
@@ -7,6 +8,7 @@
 (executable
  (name main)
  (public_name coqdoc)
+ (package coq)
  (libraries str coq.config))
 
 (ocamllex cpretty)
diff --git a/tools/dune b/tools/dune
index 20048fde52..3358d1a4e2 100644
--- a/tools/dune
+++ b/tools/dune
@@ -1,5 +1,6 @@
 (install
  (section lib)
+ (package coq)
  (files
   (CoqMakefile.in as tools/CoqMakefile.in)
   (TimeFileMaker.py as tools/TimeFileMaker.py)
@@ -10,18 +11,21 @@
 (executable
  (name coq_makefile)
  (public_name coq_makefile)
+ (package coq)
  (modules coq_makefile)
  (libraries coq.lib))
 
 (executable
  (name coqc)
  (public_name coqc)
+ (package coq)
  (modules coqc)
  (libraries coq.toplevel))
 
 (executable
  (name coqdep)
  (public_name coqdep)
+ (package coq)
  (modules coqdep_lexer coqdep_common coqdep)
  (libraries coq.lib))
 
@@ -30,6 +34,7 @@
 (executable
  (name coqwc)
  (public_name coqwc)
+ (package coq)
  (modules coqwc)
  (libraries))
 
@@ -38,11 +43,13 @@
 (executable
  (name coq_tex)
  (public_name coq_tex)
+ (package coq)
  (modules coq_tex)
  (libraries str))
 
 (executable
  (name coq_dune)
  (public_name coq_dune)
+ (package coq)
  (modules coq_dune)
  (libraries str))