尝试从源安装。minisat

Question

我正在尝试安装 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。

我使用以下方式安装了 minisatsudo apt-get minisat

如何制作这个源？

谢谢。

Answer 1

首先，您看到的错误make install是因为它试图安装到 root 拥有的位置。您需要执行此操作sudo make install才能安装该程序。

其次，如果您已经apt-get安装了 minisat 版本，则需要先将其删除，然后sudo make install在构建软件后运行以实际安装该软件。