Proof General が "Searching for program: No such file or directory, coqtop" というときの対処法
822 ワード
問題の概要
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/
Author And Source
この問題について(Proof General が "Searching for program: No such file or directory, coqtop" というときの対処法), 我々は、より多くの情報をここで見つけました https://qiita.com/kimitaka/items/3790ec770887d55af540著者帰属：元の著者の情報は、元のURLに含まれています。著作権は原作者に属する。
Content is automatically searched and collected through network algorithms . If there is a violation . Please contact us . We will adjust (correct author information ,or delete content ) as soon as possible .