On Thursday, 19 November 2015 14:30:06 UTC, John Cremona wrote: > > On 19 November 2015 at 09:05, 'Bill Hart' via sage-devel > <sage-...@googlegroups.com <javascript:>> 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. >
right... check out http://fossies.org/linux/libisofs/configure.ac 20 dnl The name of the library will be libisofs.so.$CURRENT-$AGE.$AGE.$REV 21 dnl In the terminology of this file: 22 dnl CURRENT = LT_CURRENT 23 dnl REV = LT_REVISION 24 dnl AGE = LT_AGE 25 dnl 26 dnl LT_CURRENT, LT_REVISION and LT_AGE get set directly now. 27 dnl 28 dnl SONAME of the emerging library is LT_CURRENT - LT_AGE. > John > > > > > > > Bill. > > > > On 19 November 2015 at 15:03, Bill Hart <goodwi...@googlemail.com > <javascript:>> 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 <jdem...@cage.ugent.be > <javascript:>> > >> 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+...@googlegroups.com <javascript:>. > >>> To post to this group, send email to mpir-...@googlegroups.com > <javascript:>. > >>> 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+...@googlegroups.com <javascript:>. > > To post to this group, send email to sage-...@googlegroups.com > <javascript:>. > > 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.