aspcud - это внешний решатель, рекомендованный менеджером пакетов opam . К сожалению, он упакован только для Debian; для других дистрибутивов есть архив с двоичными файлами, доступный на странице sourceforge .

Простое копирование всех двоичных файлов куда-то по вашему пути (например, /usr/local/bin) и запуск aspcud завершается неудачно с неинформативным сообщением об ошибке:

$ aspcud
error: could not lstat file

[Публикуем это в основном так, чтобы "файл не может быть получен" получал некоторые хиты Google; единственный удар сейчас - кто-то, кто столкнулся с той же самой проблемой.]

1 ответ1

0

Проблема в том, что aspcud ищет другие файлы, от которых зависит . или в явном префиксе он был вызван с помощью (т.е. если вы вызываете его через aspcud он ищет gringo в ./gringo , но если вы вызываете его через /usr/local/bin/aspcud он ищет /usr/local/bin/gringo), а не в $PATH . Поэтому вместо того, чтобы копировать двоичные файлы в ваш путь, скопируйте весь tarball в /opt или аналогичный, а затем aspcud исполняемый файл сценария aspcud в пути, вызывая его с полным путем

#!/bin/bash

/opt/aspcud-1.9.1-x86_64-linux/aspcud $@

Всё ещё ищете ответ? Посмотрите другие вопросы с метками .