On 19 November 2015 at 09:05, 'Bill Hart' via sage-devel <sage-devel@googlegroups.com> wrote: > Hmm, actually, I have > > LIBGMP_LT_CURRENT = 16 > LIBGMP_LT_REVISION = 1 > LIBGMP_LT_AGE = 6 > > I don't see where the 10 is coming from.
It is 16-6. This is not a joke. I once found a long description of how these things work (sorry I forgot where it was) and it is not quite as simple as the naive guess would suggest! i.e. the 3 parts to the so number are not just these 3 things which you set. John > > Bill. > > On 19 November 2015 at 15:03, Bill Hart <goodwillh...@googlemail.com> wrote: >> >> That looks like a stupid bug on our part. >> >> I think the best way to fix this is to correct the .so version number in >> our repo since the current numbering is useless. >> >> Bill. >> >> On 19 November 2015 at 14:28, Jeroen Demeyer <jdeme...@cage.ugent.be> >> wrote: >>> >>> The .so version number changed from >>> >>> libmpir.so.16.0.0 (MPIR 2.7.0) >>> >>> to >>> >>> libmpir.so.10.6.1 (MPIR 2.7.1) >>> >>> which is strange in several ways (it's a downgrade; did the version need >>> to change at all for a bug-fix release?). It's probably at the basis of the >>> problems in Sage. >>> >>> >>> Jeroen. >>> >>> >>> -- >>> You received this message because you are subscribed to the Google Groups >>> "mpir-devel" group. >>> To unsubscribe from this group and stop receiving emails from it, send an >>> email to mpir-devel+unsubscr...@googlegroups.com. >>> To post to this group, send email to mpir-de...@googlegroups.com. >>> Visit this group at http://groups.google.com/group/mpir-devel. >>> For more options, visit https://groups.google.com/d/optout. >> >> > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
