jay bee (Nov 08 2022 at 17:48): jay bee (Nov 08 2022 at 17:48):Hello all,
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)
Call Init()
coqtop-stderr: Error:
Anomaly
"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/.
Notification Bot (Nov 09 2022 at 09:46):A message was moved here from #Coq users > New Stack Exchange question by Karl Palmskog.
Last updated: Jun 04 2023 at 23:30 UTC