I don't know what's wrong with the build but 1) things seem to be OK on LMDE 1 and 2) for sagenb try dumping browser cache, since due to extensive changes in the last few versions some JavaScript things got out of sync.
On Monday, 11 May 2015 10:18:22 UTC-6, Laurent Bakri wrote: > > Hi all, > today I tried to compile from source sage6-6 on the linux mint debian > edition ( the binary for debian did not work properly for me : no evaluate > button in notebook mode the menu buttons not working neither...) > I got a pb with flint, don't know exactly what is relevant but here is > my guess > > > > > > > > > > > > > > > > > > > > *make[4]: Entering directory > '/home/laurent/sage-6.6-src/sage-6.6/local/var/tmp/sage/build/flint-2.4.5/src' > > CXX build/interfaces/test/t-NTL-interfaceg++: error: > build/interfaces/NTL-interface.o: No such file or directoryMakefile:248: > recipe for target 'build/interfaces/test/t-NTL-interface' failedmake[4]: > *** [build/interfaces/test/t-NTL-interface] Error 1make[4]: Leaving > directory > '/home/laurent/sage-6.6-src/sage-6.6/local/var/tmp/sage/build/flint-2.4.5/src'/bin/sh: > > 3: build/interfaces/test/t-NTL-interface: not foundMakefile:182: recipe for > target 'check' failedmake[3]: *** [check] Error 127make[3]: Leaving > directory > '/home/laurent/sage-6.6-src/sage-6.6/local/var/tmp/sage/build/flint-2.4.5/src'Error: > > FLINT failed to pass its test suite.real 33m11.309suser > 31m15.792ssys > 0m48.336s************************************************************************Error > > testing package > flint-2.4.5************************************************************************* > > ./sage do not launch > > Cheers, > L. > > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
