Я пытаюсь установить следующий плагин мини-находившихся.
Но когда я вхожу в каталог с помощью терминала и делаю make install
. Это дает ошибку
install -d /usr/local/bin install -m 755 build/dynamic/bin/minumerate /usr/local/bin install: cannot create regular file ‘/usr/local/bin/minumerate’: Permission denied make: *** [install-bin] Error 1
Я пытался сделать то, что дано в README, но я, может казаться, не нахожу $MINC адреса и $MLIB.
Я установил, мини-находился с помощью sudo apt-get minisat
Как сделать этот источник?
Спасибо.
Во-первых, ошибки, которые Вы видите с make install
, состоят в том, потому что это пытается установить на корневом местоположении. Необходимо было бы сделать sudo make install
для установки программы.
, Во-вторых, если Вы имеете apt-get
установленная версия мини-находившихся, необходимо будет запустить путем удаления ее, и затем выполнения sudo make install
для фактической установки программного обеспечения после его созданного.