Stream: Dune devs & users

Topic: _CoqProject


view this post on Zulip Ali Caglayan (Feb 25 2021 at 16:13):

Hi, what should I put in _CoqProject for coqide to find the dune files?

view this post on Zulip Ali Caglayan (Feb 25 2021 at 16:13):

Adding "-R ./_build/default" to _CoqProject causes coqide to crash/not open the file

view this post on Zulip Ali Caglayan (Feb 25 2021 at 16:17):

Perhaps this is a coq bug todo with parsing underscores?

view this post on Zulip Li-yao (Feb 25 2021 at 16:22):

-R takes two arguments, try -R ./_build/default MyLib

view this post on Zulip Ali Caglayan (Feb 25 2021 at 16:31):

Ah thanks that worked!


Last updated: Oct 16 2021 at 07:02 UTC