More than 5 years have passed since last update.
Proof General が "Searching for program: No such file or directory, coqtop" というときの対処法
1
Posted at
問題の概要
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/
Register as a new user and use Qiita more conveniently
- You get articles that match your needs
- You can efficiently read back useful information
- You can use dark theme