Progress report: the build finished fine. Sage runs. Next I started to apply the other two patches on #10508. Since I don't have a working hg I used sage -hg but:
masgaj@host-56-160%pwd /home/masgaj/local/sage-5.4.rc0/devel/sage masgaj@host-56-160%../../sage -hg import http://trac.sagemath.org/sage_trac/attachment/ticket/10508/trac_10508_doctest.patch applying http://trac.sagemath.org/sage_trac/attachment/ticket/10508/trac_10508_doctest.patch abort: failed to synchronize metadata for "sage/misc/package.py" ideas? It's not serious, I am doing a full doctest anyway and will see if anything appears not addressed by that (unapplied) patch. John On 4 October 2012 13:20, John Cremona <john.crem...@gmail.com> wrote: > On 4 October 2012 12:59, Jeroen Demeyer <jdeme...@cage.ugent.be> wrote: >> On 2012-10-04 13:41, John Cremona wrote: >>> 2. I downloaded the new atlas and cvxopt spkgs from that ticket to >>> SAGE_ROOT/spkg/standard >> Good. >> >>> 3. Before starting to build, I see that tehre are two patches to be >>> applied. >> Not sure where you get the number "two" from, I assume you meant either >> "one" or "three", depending on what you count. >> > > I had miscounted indeed! > >>> So I applied the first patch (needed for building) using "patch" >>> instead of "hg" and have left the other two until later as they only >>> involve documentation and doctests. >> I don't know what will happen when the SAGE_ROOT spkg is installed. In >> the worst case, it would fail because of uncommitted changes. Let's >> hope not, and then this would indeed be the correct way. >> > > We'll see. It has not failed yet (currently building gfan)... > > John > >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-devel" group. >> To post to this group, send email to sage-devel@googlegroups.com. >> To unsubscribe from this group, send email to >> sage-devel+unsubscr...@googlegroups.com. >> Visit this group at http://groups.google.com/group/sage-devel?hl=en. >> >> -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To post to this group, send email to sage-devel@googlegroups.com. To unsubscribe from this group, send email to sage-devel+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en.
