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

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 的情况下在远程 linx 服务器控件中安装 z3

install z3 in a remote linx server control without being root

python

linux

z3

server