diff options
author | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2016-12-29 00:25:53 +0100 |
---|---|---|
committer | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2016-12-29 00:25:53 +0100 |
commit | b93bf1c7bdf9b95eb7127b4068edd17dc874ceda (patch) | |
tree | 7bc923c2a8affa5a3aa67cf932268bdd6d8841d5 /Makefile.am | |
parent | 837867ce1db45948e9f95f64c5ae892a4e262965 (diff) | |
download | gmp-b93bf1c7bdf9b95eb7127b4068edd17dc874ceda.tar.gz |
Makefile.am: Keep track of so.numbers
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 33fd20643..8b387b313 100644 --- a/Makefile.am +++ b/Makefile.am @@ -87,6 +87,8 @@ # 5.1.2 11:2:1 7:2:3 - # 6.0.0 12:0:2 8:0:4 - # 6.1.0 13:0:3 9:0:5 - +# 6.1.1 13:1:3 9:1:5 - +# 6.1.2 13:2:3 9:2:5 - # # Starting at 3:0:0 is a slight abuse of the versioning system, but it # ensures we're past soname libgmp.so.2, which was used on Debian GNU/Linux |