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

  • 0
    いいね
  • 0
    コメント
    この記事は最終更新日から1年以上が経過しています。

    問題の概要

    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/