Stream: VsCoq devs & users

Topic: Integration with dune build


view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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>.

view this post on Zulip 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

view this post on Zulip Ramkumar Ramachandra (Feb 23 2022 at 10:29):

Interesting; thanks for the pointer!


Last updated: Jan 30 2023 at 18:04 UTC