Stream: VsCoq devs & users

Topic: ✔ VsCode path setting Issue


view this post on Zulip Brandon Sisler (Nov 23 2022 at 04:11):

Hey all, I am new here so apologies if this is not the proper channel to post this, but I am having an issue with getting Coq to work in VsStudio.
The issue I have been getting is this
image.png

Then, when I provide the path (I have tried to feed it the path both to coqtop and to coqtop.opt just to see if it would work), it says that it is not a valid path. The current solutions online do not seem to be oriented for the binary installers for Windows, which is what I have. I know that I have Coq correctly installed, since it runs just fine on its own, so I am stumped. Let me know what you all think, thanks!

view this post on Zulip Michael Soegtrop (Nov 23 2022 at 07:28):

It would have been more useful to show the path you entered. In general you need to enter the folder in which the binaries are, not the binaries. There is also a dedicated VsCoq stream. I will move this message there.

view this post on Zulip Brandon Sisler (Nov 23 2022 at 07:36):

Michael Soegtrop said:

It would have been more useful to show the path you entered. In general you need to enter the folder in which the binaries are, not the binaries. There is also a dedicated VsCoq stream. I will move this message there.

Thank you, that worked! I really appreciate it!

view this post on Zulip Notification Bot (Nov 23 2022 at 07:37):

Brandon Sisler has marked this topic as resolved.


Last updated: Mar 29 2024 at 05:40 UTC