leif wrote: > 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-interface >> g++: error: build/interfaces/NTL-interface.o: No such file or directory >> Makefile:248: recipe for target 'build/interfaces/test/t-NTL-interface' >> failed >> make[4]: *** [build/interfaces/test/t-NTL-interface] Error 1 >> make[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 found >> Makefile:182: recipe for target 'check' failed >> make[3]: *** [check] Error 127 >> make[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.309s >> user 31m15.792s >> sys 0m48.336s >> ************************************************************************ >> Error testing package flint-2.4.5 >> ************************************************************************/ > > I'm getting exactly the same failure (note that FLINT's *test suite* > fails) with Sage 6.7.rc0 on Ubuntu 10.04.4 LTS (GCC 4.4.3). > > I apparently haven't installed FLINT with SAGE_CHECK=yes for a while...
... and that's *not* a race condition. -leif -- 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.
