Why not login to Qiita and try out its useful features?

We'll deliver articles that match you.

You can read useful information later.

0

More than 5 years have passed since last update.

@kimitaka(Kimitaka Watanabe)

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

Posted at 2013-12-19

問題の概要

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/

0

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

What you can do with signing up

Qiita Conference 2025 will be held!: 4/23(wed) - 4/25(Fri)

Qiita Conference is the largest tech conference in Qiita!

Keynote Speaker

ymrl、Masanobu Naruse, Takeshi Kano, Junichi Ito, uhyo, Hiroshi Tokumaru, MinoDriven, Minorun, Hiroyuki Sakuraba, tenntenn, drken, konifar

View event details

0