Re: [sage-devel] Re: py3 and widgetsnbextension

2017-01-24 Thread Frédéric Chapoton
I made a distclean, and everything is back to normal after that. This issue can be considered closed. I think as some point I did a make without seeting SAGE_PYTHON3 to yes, and quickly interrupted this make, but this had side effects. Thanks for the help. Frederic Le mardi 24 janvier 2017 21

Re: [sage-devel] Re: py3 and widgetsnbextension

2017-01-24 Thread Jeroen Demeyer
On 2017-01-24 10:40, Frédéric Chapoton wrote: In fact, it seems that SAGE_PYTHON3=yes is no longer correctly recognized... Did somebody change something in the build procedure? Here is a guess: could it be that you set SAGE_PYTHON3=yes at some point but then unset it later? -- You received t

[sage-devel] Re: py3 and widgetsnbextension

2017-01-24 Thread Frédéric Chapoton
In fact, it seems that SAGE_PYTHON3=yes is no longer correctly recognized... Did somebody change something in the build procedure? Frederic. Le mardi 24 janvier 2017 09:36:11 UTC+1, Frédéric Chapoton a écrit : > > Last tentative of "export SAGE_PYTHON3=yes" then "make" fails as follows: > > Thi