More than 5 years have passed since last update.

Proof General が "Searching for program: No such file or directory, coqtop" というときの対処法

Posted at 2013-12-19

問題の概要

HomebrewでCoqをインストールすると

$ which coqtop
/usr/local/bin/coqtop

/usr/local/bin/coqtop にインストールされます。しかしこのままでは Proof General が Searching for program: No such file or directory, coqtop とエラーを出します。

/usr/bin/ にシンボリックリンクを置きます。

$ sudo ln -s /usr/local/bin/coqtop /usr/bin/