aptを使用したlibmpfr-dev 4.10+のインストール

aptを使用したlibmpfr-dev 4.10+のインストール

こんにちはみんな、

私は最初からLinuxディストリビューションを作成しました。具体的にはブートローダーだけを作成しました。これは完全に機能しますが、gccをシステムにダウンロードするにはMPFR 4.10+が必要です。今PortageにはMPFR 4.10以上があるので大丈夫です。ところが最近、ある素敵な友達が自分のサーバーを寄付し、私がSSHに接続して構築できるようになりました(彼のコアは64個です!)。問題は、このサーバーがMintで実行されていることです。 gccをビルドするにはmpfr 4.10以降が必要で、aptはより低いバージョンをインストールするため、エラーが発生します。 aptを定期的に使用していない人がaptを介してlibmpfr 4.10+をインストールする方法はありますか?

答え1

4.10ではなくmpfr 4.1.0を意味すると思います。

リポジトリの最新バージョンは4.1.0なので、ソースからビルドする必要があり、ここから入手できます。https://www.mpfr.org/mpfr-current/mpfr-4.1.0.tar.gz

それ以外の場合は、libgmp-devが事前にインストールされていることを確認してください。

apt-get install libgmp-dev

次に、環境に以下を追加します。

export LD_LIBRARY_PATH=/opt/mpfr/4.1.0/lib:$LD_LIBRARY_PATH

関連情報