Question

我正在尝试在不是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

Answer 1

像这样配置它：python scripts/mk_make.py --prefix=/a/place/with/write/access

在没有root用户的情况下将z3安装在远程linx服务器控件中

1 个答案: