Stream: VsCoq devs & users

Topic: VsCoq homebrew error


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

view this post on Zulip 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: Jan 30 2023 at 17:03 UTC