I am using VSCoq for coq. It has worked up until now, however now when I try to step through my Coq, VSCode gives error output (pasted below). I'm not totally sure what to do about this -- if it's a brew issue, I ran brew update and brew doctor and still nothing. I even reinstalled coq.
Here's my error output:
coqtop started with pid 39914
Client connected on main channel R (port 59734)
Client connected on main channel W (port 59735)
Client connected on control channel R (port 59736)
Client connected on control channel W (port 59737)
"Uncaught exception Failure("Config file not found - neither /opt/homebrew/etc/findlib.conf nor the directory /opt/homebrew/etc/findlib.conf.d")."
Please report at http://coq.inria.fr/bugs/.
A message was moved here from #Coq users > New Stack Exchange question by Karl Palmskog.
Last updated: Jan 30 2023 at 17:03 UTC