私のシステムlibgmp.so.10.2.0
は公式ソース現在のバージョンがあるとしましょう6.1.2
。
これはGMPに固有のものですか?大丈夫でしたかlibgmp.so.42.0.0
?
Debianは別の数字「2」を追加しました(パッチを無視)。
libgmp10:amd64 2:6.0.0+dfsg-6
ベストアンサー1
どういう意味ですか?ライブラリツールのバージョン、通常はライブラリのリリースバージョンとは無関係です。
ソースコードを少し見てみると、バージョンが次のように設定されていることがわかります。Makefile.am
、履歴サマリーを提供する値の前にコメントブロックがあります。
次のブロックでは、Debianパッケージ番号を見ることができます(libmpのバージョン情報は最後の列にあります):
# release libgmp libgmpxx libmp
...
# 5.0.1 10:1:0 6:1:2 4:21:1
# 5.0.2 10:2:0 6:2:2 4:22:1
# 5.0.3 10:3:0 6:3:2 4:23:1
# 5.0.4 10:4:0 6:4:2 4:24:1
# 5.0.5 10:5:0 6:5:2 4:25:1
# 5.1.0 11:0:1 7:0:3 -
そして(現在)
# 6.1.2 13:2:3 9:2:5 -
そして
# We interpret "implementation changed" in item "1." above as meaning any
# release, ie. the REVISION is incremented every time (if nothing else).
# Even if we thought the code generated will be identical on all systems,
# it's still good to get the shared library filename (like
# libgmpxx.so.3.0.4) incrementing, to make it clear which GMP it's from.
LIBGMP_LT_CURRENT = 13
LIBGMP_LT_REVISION = 2
LIBGMP_LT_AGE = 3
LIBGMPXX_LT_CURRENT = 9
LIBGMPXX_LT_REVISION = 2
LIBGMPXX_LT_AGE = 5