z3 - Z3 の Linux バージョン: 古い libgmp.so.3 への依存

Question

libgmp.so.3 に対する Z3 の依存関係は、Linux パッケージでは解決されていないため、ユーザーはこのライブラリを提供する必要があります。ただし、このライブラリは非常に古く、すぐには利用できません。

この問題を回避する方法を知っている人はいますか? 私は現在 x86_64 を実行していますが、この不足している依存関係を回避するには、多大な手間がかかります。

Linux パッケージを修正して、予想されるライブラリをディストリビューションに含めることはできますか?

Answer 1

を実行することでGMP3を取得できますsudo apt install libgmp3-dev。私は Linux の専門家ではありませんが、Z3 をコンパイルする前に GMP をインストールするために使用したコマンドです。Linux 64 を実行するために仮想マシンをインストールしたとき、GMP の最新バージョンのパッケージが見つからなかったと思います。もう一度やり直します。うまくいかない場合は、最新の GMP tar ボールをダウンロードして、ゼロからビルドします。

ところで、Z3 for Linux 32 には 2 つの .so ファイルが付属しています。そのうちの 1 つは、静的にリンクされた GMP を持っています。この .so ファイルを作成するために使用したトリックは、64 ビット バージョンでは機能しませんでした。前述したように、私は Linux の専門家ではありません。Linux x86_64 ユーザー向けのより優れた Z3 ライブラリを構築する方法についての提案は大歓迎です。