#18558: Test all installed optional packages by default
-------------------------------------+-------------------------------------
Reporter: ncohen | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.8
Component: doctest framework | Resolution:
Keywords: | Merged in:
Authors: Nathann Cohen | Reviewers:
Report Upstream: N/A | Work issues:
Branch: u/jdemeyer/18558 | Commit:
Dependencies: #18456, #18124, | 59af6983b05b6581ef1282cdec41d6e63ad82459
#18559, #18563 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by kcrisman):
> > Well, you can start by reading the commit message or looking at the
commits. I felt that the message {{{Fix passing optional tags to
gdb/valgrind doctesting}}} would make it clear that your patch broke
doctesting under `gdb` or `valgrind`.
>
> I fail to see how, so please illustrate it.
Valgrind can have relatively system-dependent output, or so I've been led
to believe.
----
Sorry for butting in, I was just wondering if this all had a way to check
whether someone had the ''most recent'' version of an optional package.
Especially for some that are quite independent of Sage it could be
possible someone didn't notice that the optional package had been updated
and then got an error that's really because of their version, not an
actual failure. If this is answered somewhere above I apologize - there
are a lot of comments but I didn't see it, nor when searching the page for
relevant terms like 'version'.
--
Ticket URL: <http://trac.sagemath.org/ticket/18558#comment:75>
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.
