[coq] Composition with (boot) theories is not working in Dune 3.8 #7909
Description
Steps to reproduce:
$ git clone https://github.com/coq/coq.git
$ cd coq && cp theories/dune.disabled theories/dune
$ dune build @default
result is that -boot flag is missing from the first coqdep call:
File "theories/dune", line 2, characters 0-588:
2 | (coq.theory
3 | (name Coq)
4 | (package coq-stdlib)
....
28 |
29 | coq-core.plugins.ssreflect
30 | coq-core.plugins.derive))
cannot guess a path for Coq libraries; please use -coqlib option or ensure you have installed the package containing Coq's stdlib (coq-stdlib in OPAM) If you intend to use Coq without a standard library, the -boot -noinit options must be used.
This can only be tested up to (lang coq 0.6), as newer lang versions are blocked #7908