#z3
#z3
Вопрос:
Зависимость Z3 от libgmp.so.3 не разрешена в пакете Linux, поэтому пользователь должен предоставить эту библиотеку. Однако эта библиотека очень старая и недоступна.
Кто-нибудь знает способ обойти эту проблему? В настоящее время я использую x86_64 и не могу обойти эту недостающую зависимость без особых хлопот.
Возможно ли исправить пакеты Linux таким образом, чтобы они включали ожидаемую библиотеку в дистрибутив?
Ответ №1:
Вы можете получить GMP3, выполнив sudo apt install libgmp3-dev . Я не эксперт по Linux, но это команда, которую я использовал для установки GMP до компиляции Z3. Когда я установил виртуальную машину для запуска Linux 64, я думаю, что не нашел пакета для более поздних версий GMP. Я попробую еще раз. Если это не сработает, я загружу самую последнюю версию GMP tar ball и создам ее с нуля.
Кстати, Z3 для Linux 32 поставляется с двумя файлами .so. Один из них имеет статически связанный GMP. Трюк, который я использовал для создания этого файла .so, не сработал для 64-разрядной версии. Как я уже сказал, я не эксперт по Linux, любые предложения о том, как создать лучшую библиотеку Z3 для пользователей Linux x86_64, приветствуются.
Комментарии:
1. По крайней мере, для последней версии Ubuntu (11.10) этот libgmp3-dev является фиктивным пакетом, который указывает на последнюю версию libgmp. Я попробую загрузить 32-разрядную версию Ubuntu 10.04 LTS и повторю попытку.
2. Ubuntu 11.04 имеет правильную комбинацию glibc и libgmp (установлена, как вы указали).