#14232: Update PPL to v1.0
-------------------------------------+-------------------------------------
Reporter: vbraun | Owner: tbd
Type: enhancement | Status: closed
Priority: major | Milestone: sage-5.11
Component: packages: | Resolution: fixed
standard | Merged in: sage-5.11.beta1
Keywords: | Reviewers: Dmitrii Pasechnik,
Authors: Volker Braun, | Volker Braun
Jeroen Demeyer | Work issues:
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by leif):
Replying to [comment:29 vbraun]:
> necroposting on long-closed tickets ;-)
ROFL. I was just wondering whether it's still an issue (i.e., whether we
could remove PPL from the sequential toolchain build) -- it is, so I
didn't open a ticket for changing that; and as of Sage 6.7.beta3,
`build/Makefile` still refers to this ticket:
{{{
# TOOLCHAIN consists of dependencies determined by build/install,
# including for example the GCC package.
toolchain: $(TOOLCHAIN)
# Build all packages that GCC links against serially, otherwise this
# leads to race conditions where some library which is used by GCC gets
# reinstalled. Since system GCCs might use Sage's libraries, we do this
# unconditionally. We still use the dependency checking from $(MAKE),
# so this will not trigger useless rebuilds.
# See #14168 and #14232.
toolchain-deps:
$(MAKE) $(INST)/$(ZLIB)
$(MAKE) $(INST)/$(SAGE_MP_LIBRARY)
$(MAKE) $(INST)/$(MPFR)
$(MAKE) $(INST)/$(MPC)
$(MAKE) $(INST)/$(PPL)
}}}
You can open a new ticket for letting `build/Makefile` refer to some
further new ticket of course.
--
Ticket URL: <http://trac.sagemath.org/ticket/14232#comment:30>
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.
