This is part of iris#471 (closed).
Instructions are needed, but with dune 3.4 this already supports dune build, dune coq top.
dune build
dune coq top