0

I am trying to install the following plugin of minisat.

link

But when I go in the directory using terminal and do make install. It gives an error

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

I tried to do what's given in README, but I can't seem to find the address $MINC and $MLIB.

I installed minisat using sudo apt-get minisat

How to make this source?

Thanks.

0

Firstly, the errors you're seeing with make install are because it's trying to install to a root-owned location. You'd need to do sudo make install to install the program.

Secondly, if you have the apt-get installed version of minisat, you'll need to start by removing it, and then running the sudo make install to actually install the software after its built.

  • I did sudo make install and echoed install -d /usr/local/bin install -m 755 build/dynamic/bin/minumerate /usr/local/bin I am not sure what you meant by removing minisat. As these examples will use the minisat libraries. – Potato_head Nov 3 '14 at 14:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.