Re: [sage-release] Re: Sage 9.7.beta8 released

2022-08-10 Thread Dima Pasechnik
On Wed, Aug 10, 2022 at 4:01 PM Emmanuel Charpentier wrote: > > H... It was simpler (and way much duber) that that : my command used a > inadvertent paste (mouso) of a comment starting by `use`, mistakenn by > `./configure` as an option. > I had to `./bootstrap` anyway, but for another

[sage-release] Re: Sage 9.7.beta8 released

2022-08-10 Thread Emmanuel Charpentier
H... It was simpler (and way much duber) that that : my command used a inadvertent paste (mouso) of a comment starting by `use`, mistakenn by `./configure` as an option. I had to `./bootstrap` anyway, but for another reason... Sorry for the noise... [ Now, where is that wakisashi ? ... ]

[sage-release] Re: Sage 9.7.beta8 released

2022-08-10 Thread Kwankyu Lee
./bootstrap ? On Wednesday, August 10, 2022 at 5:22:28 PM UTC+9 emanuel.c...@gmail.com wrote: > When trying to upgrade from (vanilla) 9.7.beta6 running on Debian testing > : > > harpent@zen-book-flip:/usr/local/sage-9$ ./configure --help | grep edit > --enable-editable use an

[sage-release] Re: Sage 9.7.beta8 released

2022-08-10 Thread Emmanuel Charpentier
When trying to upgrade from (vanilla) 9.7.beta6 running on Debian testing : harpent@zen-book-flip:/usr/local/sage-9$ ./configure --help | grep edit --enable-editable use an editable install of the Sage library charpent@zen-book-flip:/usr/local/sage-9$ ./configure