Coq
ProofGeneral

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

More than 3 years have passed since last update.

問題の概要

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/