Установить z3 на удаленный сервер управления linx, не будучи 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

Настройте с помощью ./configure --prefix = "$HOME/z3". У вас будет стандартный макет файловой системы Linux под z3/. Никаких специальных разрешений не требуется. Вам может понадобиться LD_LIBRARY_PATH = "$HOME/z3/lib, если configure.ac не устанавливает RUNPATH.

— 25.05.2019 17:36

@jww bash: ./configure: No such file or directory !!

— 25.05.2019 17:44

python linux server z3

25.05.2019 17:19

Почему в Python есть оператор "pass"?

Оператор pass в Python - это простая концепция, которую могут быстро освоить даже новички без опыта программирования.

Некоторые методы, о которых вы не знали, что они существуют в Python

Python - самый известный и самый простой в изучении язык в наши дни. Имея широкий спектр применения в области машинного обучения, Data Science,...

Основы Python Часть I

Вы когда-нибудь задумывались, почему в программах на Python вы видите приведенный ниже код?

LeetCode - 1579. Удаление максимального числа ребер для сохранения полной проходимости графа

Алиса и Боб имеют неориентированный граф из n узлов и трех типов ребер:

Оптимизация кода с помощью тернарного оператора Python

И последнее, что мы хотели бы показать вам, прежде чем двигаться дальше, это

Советы по эффективной веб-разработке с помощью Python

Как веб-разработчик, Python может стать мощным инструментом для создания эффективных и масштабируемых веб-приложений.

132

Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Настройте его следующим образом: python scripts/mk_make.py --prefix=/a/place/with/write/access

все та же проблема. он говорит successfully built, а затем Use the following command to install Z3 at prefix /usr. sudo make install, и я не root, поэтому я все еще застрял

— 26.05.2019 15:13

Это странно. Что произойдет, если вы просто наберете make install в каталоге сборки после того, как он скажет это? По крайней мере, указанный вами каталог создан и заполнен?

— 26.05.2019 17:05

Я исправил это. теперь я получаю: Z3 was successfully installed.

— 27.05.2019 13:36

@basel117 Basel117 Говорить людям «вы исправили это» не помогает сообществу. Если этот ответ помог вам, вы должны принять его, чтобы другие могли его понять. Если нет, вы можете ответить на свой вопрос и принять его, чтобы он помог другим.

— 30.05.2019 05:59

Рад слышать. Правильный способ при переполнении стека указать, что ответ вам помог, - это «принять» его. (Посмотрите на маленькую галочку под кнопками голосования вверх-вниз.)

— 06.06.2019 17:29

25.05.2019 20:05