Пытаюсь установить из источника. MINISAT

Question

Пытаюсь установить из источника. MINISAT

Я пытаюсь установить следующий плагин minisat.

Но когда я захожу в каталог с помощью терминала и делаю 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

Как сделать этот источник?

Благодарю.

0

make install-from-source

Источник

Potato_head 03 ноя '14 в 14:38

1 ответ

Другие вопросы по тегам make install-from-source

Thomas Ward 03 ноя '14 в 14:44 2014-11-03 14:44 · Answer 1 · 2014-11-03 14:44

Во-первых, ошибки, которые вы видите с make install потому что он пытается установить в корневой каталог. Вам нужно сделать sudo make install установить программу.

Во-вторых, если у вас есть apt-get Для установки установленной версии minisat необходимо сначала удалить ее, а затем запустить sudo make install на самом деле установить программное обеспечение после его сборки.