Estou tentando instalar o seguinte plugin do minisat.
Mas quando eu vou no diretório usando o terminal e faço make install . Isso dá um erro
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
Eu tentei fazer o que é fornecido no README, mas parece que não consigo encontrar o endereço $ MINC e $ MLIB.
Eu instalei o minisat usando sudo apt-get minisat
Como fazer essa fonte?
Obrigado.
Primeiramente, os erros que você está vendo com make install são porque ele está tentando instalar em um local de propriedade da raiz. Você precisaria fazer sudo make install para instalar o programa.
Em segundo lugar, se você tiver a versão apt-get instalada do minisat, será necessário começar removendo-a e, em seguida, executando o sudo make install para realmente instalar o software após sua criação.