Я установил Coq в моей системе из установщика по умолчанию. Затем я добавил доказательство general к моим существующим emacs. Но проблема в том, что когда я пытаюсь запустить команду в emacs, я нахожу следующее из emacs,
поиск программы нет такого файла или каталога coqtop
Я полагаю, что есть некоторые ошибки конфигурации.
ждем ваших мыслей.
3148
Я только что понял, что должен включить путь к coqtop в путь emacs. или вы можете иметь это в своем системном пути. в этом случае вы должны вызвать emacs из оболочки.
отличается от случая OP, но аналогичная проблема: сообщение об ошибке Searching for program: no such file or directory, coqtop также может возникнуть, если вы не установили coq. Тогда coqtop команда будет отсутствовать в вашей системе.
для диагностики, запуска which coqtop. Если результат пуст, он не установлен или не на вашем пути.
на mac, я решил эту проблему, установив coq с доморощенного используя brew install coq
 |  |  |  |  |  |  |  |  |  |
Постоянная ссылка на данную страницу: [ Скопировать ссылку | Сгенерировать QR-код ]
Komp
