I am trying to install the following plugin of minisat.
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?