How to set options to sage -t when running make ptestlong
I would like to run make ptestlong
with the option --show-skipped
set for the sage -t
part.
I would like to run make ptestlong
with the option --show-skipped
set for the sage -t
part.
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
.
@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: see https://trac.sagemath.org/ticket/23363. Is that what you had in mind?
Please start posting anonymously - your entry will be published after you log in or create a new account.
Asked: 2017-07-02 11:43:28 +0100
Seen: 353 times
Last updated: Jul 04 '17