On Sun, Aug 29, 2021 at 12:10 PM Jaap Spies <[email protected]> wrote: > > > > On Sun, Aug 29, 2021 at 10:53 AM Dima Pasechnik <[email protected]> wrote: >> >> On Sat, Aug 28, 2021 at 9:18 PM Jaap Spies <[email protected]> wrote: >> > >> > ---------------------------------------------------------------------- >> > sage -t --long --warn-long 356.4 --random-seed=0 >> > src/sage/calculus/riemann.pyx # Killed due to segmentation fault >> > ---------------------------------------------------------------------- >> > Total time for all tests: 19434.6 seconds >> > cpu time: 61444.5 seconds >> > cumulative wall time: 75741.2 seconds >> > Pytest is not installed, skip checking tests that rely on it. >> > make: *** [Makefile:201: ptestlong] Error 16 >> > pi@rasp8G64bit:~/sage $ >> > >> > >> > Only one failure in ptestlong on 64 bit Raspberry Pi OS! >> >> this is very good! What happens if you try this is with various >> optional packages installed, as well? >> (such as e.g. gap_packages) >> > > It is not perfectly clear to me, what you want me to do. What packages should > I install? > Something like: ./sage -i gap_packages > > Notice that my sage skills are rusty!
make gap_packages && make ptestlong would build and test with gap_packages installed. > > Jaap > > >> >> Dima >> >> > >> > Cheers, >> > >> > Jaap >> > >> > -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-release/CAK0%3DbK3tsneWuT_8X08WoXQWiVDHm7CNQTsy84bPgi3Kny35sQ%40mail.gmail.com. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/CAAWYfq2TvZmdwK-pLer4gATqW%3DctNUGZbDH7%3DFv%2BrXZKP4qChA%40mail.gmail.com.
