Well I did build it successfully once. It was on 12.04 Ubuntu that had been used a lot - many softwares built on it. I then upgraded to 13.10, had many problems, and then decided to reinstall (fresh) 12.04LTS over the top (even reformatted) of 13.10. So in essence, my Ubuntu is pretty new and may not have a lot of "stuff", even though it does have all the prerequisites.
I've actually tried to build 5.13, 6.0, and 6.1.1 and none have worked. It always complains about "conway_polynomail".... I have the log files still too if that can help. I'll try the GIT build today and see what happens. I've also wondered about the PPA build of sagemath, though I don't like the idea of not having a self-contained directory/tree - maybe though it would install something in my /usr/bin or /usr/lib, etc. that I'm missing..... Thanks for the suggestion. Brett On Friday, February 7, 2014 7:40:08 AM UTC-7, Niles Johnson wrote: > > On Thursday, February 6, 2014 8:39:14 PM UTC-7, François wrote: >>> >>> I am stumped. I will have to think it over for a bit. Output of "ld -v" >>> please. >>> >> > While François is thinking, I'll make some other (more rudimentary) > suggestions. > > * Have you successfully built older versions of sage? What is the latest > one that builds? > > * Are there any other packages failing to build? (My guess is no.) > > * Could you try checking out and building from the git repository (this > shouldn't make a difference, but who knows!?) > [if you checkout the git repository, you can easily roll back to older > versions with, e.g., git checkout 6.0] > > * In particular, maybe try building the develop branch, just to see > whether you get the same or different problems > -- 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/groups/opt_out.
