On 2015-07-08 12:37, Han Frederic wrote:
with the make method, is there something analogous to ./sage -i -c pkgname ?
env SAGE_CHECK=yes make pkgname (in bash, you can drop the "env") -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
