On 15 July 2015 at 10:43, Nathann Cohen <nathann.co...@gmail.com> wrote:
> Hello everybody, > > Nowadays when running 'sage -t', one automatically runs all tests > flagged with '#optional - X' for all installed packages X which are > [optional+new_style]. > > But many doctests are flagged with '#optional - X' where X is not even > a package, e.g. when X is a proprietary software that we are not > allowed to redistribute as a package. > > What packages of this kind should we test? How can we detect if it is > locally available? > > I created ticket #18904 [1] to auto-detect CPLEX and Gurobi > (proprietary LP solvers), but if you have more in mind please add a > commit so that they are added to the list. > Thanks for doing this. Magma should be in this list too. The command line echo 'quit;' | magma -b -n will exit with no output if magma exists on the system, while if not then it gives magma: command not found and I expect you can write this into a test. John > > THaaaaaaaaaaanks, > > Nathann > > [1] http://trac.sagemath.org/ticket/18904 > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
