Your build didn't fail in conway_polynomials, that one just fails because one of the dependencies was not built. Do a make distclean && make -j1 for a serial build, this will make it easier to diagnose what failed.
On Wednesday, November 13, 2013 8:13:59 AM UTC-8, Kerem Eryilmaz wrote: > > Good tip. Here it is: > > kerem@linux-kerem:~/build/sage-5.12> ./sage -python > Python 2.7.5 (default, Nov 13 2013, 14:26:19) > [GCC 4.7.2 20130108 [gcc-4_7-branch revision 195012]] on linux2 > Type "help", "copyright", "credits" or "license" for more information. > >>> from sage.all import save > Traceback (most recent call last): > File "<stdin>", line 1, in <module> > ImportError: cannot import name save > > > On Wednesday, November 13, 2013 5:01:02 PM UTC+1, Volker Braun wrote: >> >> Whats the output of >> >> cd sage-5.12 >> ./sage -python >> from sage.all import save >> >> >> On Wednesday, November 13, 2013 7:12:36 AM UTC-8, Kerem Eryilmaz wrote: >>> >>> No, I just used the -j8 parameter, removing which changes nothing. My >>> installation is not vanilla though, maybe I'll try it on a virtual machine >>> to make sure it is not some wear-and-tear of my system. >>> >>> BTW, this is the second time I am writing this, because my reply >>> vanished after I sent it. Maybe that's what's supposed to happen to replies >>> on google groups, I don't know. Just to make sure, I am sending this again. >>> >>> On Wednesday, November 13, 2013 3:56:25 PM UTC+1, Jeroen Demeyer wrote: >>>> >>>> On 2013-11-13 15:51, Kerem Eryilmaz wrote: >>>> > Has anybody seen this happen before? >>>> Not as far as I know. Can you think of anything that might be unusual >>>> with your setup (in particular, environment variables). >>>> >>> -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/groups/opt_out.
