Words cannot describe my amusement at the random, stupid .so version numbering issues we keep having. It seems to be a system designed for maximum brokenness.
There's obviously nothing we can do to fix this, which I can only presume was the design. Bill. On 19 November 2015 at 15:45, leif <not.rea...@online.de> wrote: > 'Bill Hart' via mpir-devel 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. > > Libtool madness. > > But the flaw w.r.t. the strange change is actually in the previous > version of MPIR; the variable definitions in Makefile.am must not > contain trailing whitespace (which is still the case for > LIBGMPXX_LT_REVISION, and has been the case for LIBGMP_LT_REVISION in > 2.7.0). > > > -leif > > > On 19 November 2015 at 15:03, Bill Hart <goodwillh...@googlemail.com > > <mailto: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 > > <mailto: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-devel@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 "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-devel@googlegroups.com. Visit this group at http://groups.google.com/group/mpir-devel. For more options, visit https://groups.google.com/d/optout.
