Я пытаюсь установить z3 на удаленный сервер, не являющийся пользователем root.Я выполнил шаги до того места, где у меня появилось это сообщение:
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