2022-01-14 10:00 UTC, Dima Pasechnik: > > On Fri, Jan 14, 2022 at 9:10 AM Eric Gourgoulhon: > > > > On Ubuntu 20.04 running on Xeon E5-2623 + 16 GB RAM: > > - incremental build (-j16) from 9.5.beta8, with system python (3.8.10): OK > > - make ptestlong --> 2 doctests failed in src/sage/game_theory/parser.py > > > > This is a permanent failure: > > [...] > > is this system-wide lrslib? > I'd say it's Ubuntu's bug then.
The problem is more likely with our doctest framework and its articulation with our feature detection, more specifically doctests marked "optional - lrslib" are run as soon as lrslib is detected, even in the case when the detected lrslib would not be deemed good enough to use for Sage. Similar problems have been reported recently with other optional packages, such as ffmpeg and imagemagick. See - #33092: ffmpeg/imagemagick features need feature checks - #33114: Feature.require vs. is_present, is_functional -- 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 sage-release+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/CAEcArF3QObgCfcdNwk%2B6wZRZ5APp_d%3DAqbeNR6OKAhzaRS4LAw%40mail.gmail.com.