在远程LINX服务器控件中安装Z3而不是根

Question

我正在尝试在我不是根源的远程服务器上安装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脚本已经可以执行，那么下一个命令是必需的吗？如果是这样，我该如何执行它而无需根。有其他选择吗？

我已将前缀更改为我写访问的目录。同样，它成功安装了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