Hum so does someone know of a fix? On May 6, 2013 8:46 PM, "François Bissey" <francois.bis...@canterbury.ac.nz> wrote:
> On Mon, 06 May 2013 20:39:26 Pong wrote: > > Alright, I did a fresh compile with SAGE_INSTALL_GCC set to yes. This > time > > the compilation failed at gcc. > > It only installed a few things before it hit gcc (e.g. Singular was not > > complied) > > > > And here are the last few words it said before the crash: > > > > ../../src/gcc/doc/cppopts.texi:806: @itemx must follow @item > > make[6]: *** [doc/cpp.info] Error 1 > > make[6]: Leaving directory > > `/home/pong/sage-5.9/spkg/build/gcc-4.7.2.p1/gcc-build/gcc' > > make[5]: *** [all-stage1-gcc] Error 2 > > make[5]: Leaving directory > > `/home/pong/sage-5.9/spkg/build/gcc-4.7.2.p1/gcc-build' > > make[4]: *** [stage1-bubble] Error 2 > > make[4]: Leaving directory > > `/home/pong/sage-5.9/spkg/build/gcc-4.7.2.p1/gcc-build' > > make[3]: *** [all] Error 2 > > make[3]: Leaving directory > > `/home/pong/sage-5.9/spkg/build/gcc-4.7.2.p1/gcc-build' > > > > Please see the attached log for details. > > > Looks like a stupid texinfo error. There has been a lot of these around > lately. > > Francois > > -- > You received this message because you are subscribed to a topic in the > Google Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-devel/hqH8t69ixxA/unsubscribe?hl=en > . > To unsubscribe from this group and all its topics, 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?hl=en. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- 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?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
