Le lundi 14 août 2023 à 18:10:32 UTC+2, Emmanuel Charpentier a écrit :
[ Snip… ]
`ptestlong` underway...
-- sage
-t --long --warn-long 198.3
--random-seed=206512876243836917842474214856246458168
On Mon, 14 Aug 2023, 17:10 Emmanuel Charpentier, <
emanuel.charpent...@gmail.com> wrote:
>
>
> Le lundi 14 août 2023 à 14:03:31 UTC+2, Dima Pasechnik a écrit :
>
> [ Snip... ]
>
> Discounting for the moment the obvious workaround ./configure
> --with-system-arb=no, what can be done ?
>
>
> Do you
Le lundi 14 août 2023 à 14:03:31 UTC+2, Dima Pasechnik a écrit :
[ Snip... ]
Discounting for the moment the obvious workaround ./configure
--with-system-arb=no, what can be done ?
Do you mean to say that an update to the system arb does not cause a
rebuild of sagelib?
(otherwise, what's
On Mon, 14 Aug 2023, 09:57 Emmanuel Charpentier, <
emanuel.charpent...@gmail.com> wrote:
> ./configure is inconsistent when handling arb detection. I do have
> system’s libraries :
> charpent@zen-book-flip:/usr/local/sage-10$ dpkg -l "*arb*"
> Souhait=inconnU/Installé/suppRimé/Purgé/H=à garder |
./configure is inconsistent when handling arb detection. I do have system’s
libraries :
charpent@zen-book-flip:/usr/local/sage-10$ dpkg -l "*arb*"
Souhait=inconnU/Installé/suppRimé/Purgé/H=à garder |
État=Non/Installé/fichier-Config/dépaqUeté/échec-conFig/H=semi-installé/W=att>
|/
