On Monday, February 26, 2024 at 12:26:04 PM UTC-8 emanuel.c...@gmail.com
wrote:
Question : how to modify Sage’s configuration (as used by make reconfigure)
without having to re-state *all* the configuration ?
eval ./configure $(./config.status --config) --without-system-brial
--
You received
Thanks a lot ! I'll have to ((re-)^n)read the Developer's Guide and the
Installation Guide...
Le lundi 26 février 2024 à 21:44:27 UTC+1, matthia...@gmail.com a écrit :
On Monday, February 26, 2024 at 12:26:04 PM UTC-8 emanuel.c...@gmail.com
wrote:
Question : how to modify Sage’s configuration
On Debian testing running on core i7 + 16 GB RAM, upgrading 10.3.beta8 to
10.3.rc0 initially failed ; deleting and rebuilding the documentation
succeeded. Running ptestlong initially raised the seven polybori-related
failures already reported
Your suggestion was efficient : forcing Sage’s brial installation by sage
-i brial (thus avoiding Debian’s brial) allowed these tests to pass.
Thanks a lot !
Le jeudi 15 février 2024 à 19:34:45 UTC+1, Antonio Rojas a écrit :
> El jueves, 15 de febrero de 2024 a las 17:36:35 UTC+1,
>