Ramkumar Ramachandra (Feb 23 2022 at 10:01): Ramkumar Ramachandra (Feb 23 2022 at 10:01):Hi. I use dune to build my Coq project, and although VSCoq works when VSCode is fired up in _build/default, with a correct one-liner _CoqProject, it would be nice if VSCoq could detect the build artifacts from dune, and step through the source tree.
Ramkumar Ramachandra (Feb 23 2022 at 10:04):I could try to implement this, but one of my PRs to VSCoq is quite large, and is currently in flight.
Ramkumar Ramachandra (Feb 23 2022 at 10:11):It's just a minor matter of rewriting the -R line in _CoqProject from <dirname> to _build/default/<dirname>.
Karl Palmskog (Feb 23 2022 at 10:22):see https://github.com/ocaml/dune/pull/5457 for a more general in-progress solution to editor support in Dune
Ramkumar Ramachandra (Feb 23 2022 at 10:29):Interesting; thanks for the pointer!
Last updated: Jan 30 2023 at 18:04 UTC