#20182: Automatic doctest for external softwares
-------------------------+-------------------------------------------------
       Reporter:  klee   |        Owner:
           Type:         |       Status:  new
  enhancement            |    Milestone:  sage-7.1
       Priority:  major  |   Resolution:
      Component:         |    Merged in:
  doctest framework      |    Reviewers:
       Keywords:         |  Work issues:
        Authors:         |       Commit:
  Kwankyu Lee            |  86a7e6f8cb3845aa4551422941ee081cfc46f713
Report Upstream:  N/A    |     Stopgaps:
         Branch:         |
  public/20182           |
   Dependencies:         |
-------------------------+-------------------------------------------------

Comment (by klee):

 Replying to [comment:30 jhpalmieri]:
 > If I do `sage -tp --optional=sage,optional,external ...`, then instead
 of printing
 > {{{
 > Using --optional=...,external,...
 > }}}
 > it would be nice if it printed
 > {{{
 > Using --optional=...,internet,latex,maple,...
 > }}}

 Hmmm. It seems possible... But what do you think it means that "maple"
 appears in the list? Does it mean that maple is available and tests
 depending on it will be tested. This behavior defeats the lazy mechanism.
 Does it simply mean that any doctests depending on maple will run if maple
 turns out to be available lazily and not otherwise? Then this is very
 different from an optional package, say gcc or mpir, appearing in the
 list.

--
Ticket URL: <http://trac.sagemath.org/ticket/20182#comment:33>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to