我正在尝试在我不是其 root 的远程服务器上安装 z3。我按照步骤操作,直到收到此消息:
Z3 was successfully built.
Z3Py scripts can already be executed in the 'build/python'
Use the following command to install Z3 at prefix /usr.
sudo make install
既然说Z3py脚本已经可以执行了,还需要下一个命令吗?如果是这样,我如何在没有root权限的情况下执行它。有替代方案吗?
我已将前缀更改为我具有写入权限的目录。同样,它成功安装了 z3 和 z3py,但随后显示:
Use the following command to install Z3 at prefix /z3/z3-master.
sudo make install
当我使用 make install
时,这是我得到的:
mkdir: cannot create directory ‘/z3’: Permission denied
Makefile:4462: recipe for target 'install' failed
make: *** [install] Error 1
最佳答案
这样配置:python scripts/mk_make.py --prefix=/a/place/with/write/access
关于python - 在没有 root 的情况下在远程 linx 服务器控件中安装 z3,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/56306134/