Ask Your Question

How to set options to sage -t when running make ptestlong

asked 2017-07-02 11:43:28 +0200

Sébastien gravatar image

I would like to run make ptestlong with the option --show-skipped set for the sage -t part.

edit retag flag offensive close merge delete

1 Answer

Sort by » oldest newest most voted

answered 2017-07-04 16:30:12 +0200

I think the easiest thing to do is to replicate the command run by make ptestlong and add the options you want: from the main Sage directory, run

./sage -t -p --all --long --logfile=logs/ptestlong.log --show-skipped

Alternatively, you can edit the Makefile, for example adding a new make target:

diff --git a/Makefile b/Makefile
index 9bc643c1c8..4f300f3fed 100644
--- a/Makefile
+++ b/Makefile
@@ -111,6 +111,9 @@ ptestall: all
 ptestlong: all
        $(PTESTALL) --long --logfile=logs/ptestlong.log

+ptestlongshowskipped: all
+       $(PTESTALL) --long --logfile=logs/ptestlongshowskipped.log --show-skipped
 ptestalllong: all
        $(PTESTALL) --long --optional=sage,optional,external --logfile=logs/ptestalllong.log

and then run make ptestlongshowskipped.

edit flag offensive delete link more


@jhpalmieri - Yeah, this is the best answer. But I think this has come up before - if you can give this example in the documentation for make test and a link to the sage -t options, that would be really helpful. Cc: me on the ticket and hopefully it will be an easy review :-)

kcrisman gravatar imagekcrisman ( 2017-07-04 19:26:22 +0200 )edit

@kcrisman: see Is that what you had in mind?

John Palmieri gravatar imageJohn Palmieri ( 2017-07-04 21:11:04 +0200 )edit

Happy independence from paying for your math software day!

kcrisman gravatar imagekcrisman ( 2017-07-04 22:57:57 +0200 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2017-07-02 11:43:28 +0200

Seen: 290 times

Last updated: Jul 04 '17