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

  • 0
    Like
  • 0
    Comment
    More than 1 year has 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/