#19589: Upgrade MPIR to 2.7.1
-------------------------------------+-------------------------------------
Reporter: jdemeyer | Owner:
Type: enhancement | Status: positive_review
Priority: major | Milestone: sage-6.10
Component: packages: | Resolution:
standard | Merged in:
Keywords: | Reviewers: François Bissey
Authors: Jeroen Demeyer | Work issues:
Report Upstream: N/A | Commit:
Branch: | 6ca243c806b350acb1c19c7613a1159f9592db2b
u/jdemeyer/upgrade_mpir_to_2_7_1 | Stopgaps:
Dependencies: #19602 |
-------------------------------------+-------------------------------------
Comment (by wbhart):
Replying to [comment:27 leif]:
> Replying to [comment:26 wbhart]:
> > Yeah, fixing 2.7.0 is obviously not possible. It's too widely
deployed. It wouldn't fix it for us anyway. We can't even tell where it is
picking up the broken GMP/MPIR from.
>
> `sudo invent time machine`
`sudo invent wave-motion gun`
>
>
> > As for periods vs colons, I'm not sure what you mean. These are
comments aren't they? Or are you telling me libtool actually reads the
comments?
>
> Nope, but the ordinary (human) reader is tempted to interpret "22.1.6"
as the effective library version, as opposed to "22:1:6", which in
contrast clearly(?) indicates a libtool CURRENT:REVISION:AGE tuple, the
parameter passed to it, which the table is supposed to reflect or
document.
>
Ok, well I fixed this in the _repo_ by replacing all the dots with
assorted punctuation :p.
I'm going to push the fixed 2.7.0 which I had already prepared, to the
website now.
--
Ticket URL: <http://trac.sagemath.org/ticket/19589#comment:28>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
