leif wrote: > Bill Page wrote: >> BTW, is it normal to run 'make' after 'git trac checkout'? > > Sure you should, to make the changes take effect in your Sage > installation. (But that's not always necessary, really depends on what > you pull. In any case, running 'make' is safe, as when nothing has to > get rebuilt / updated, 'make' won't do much.) > > But you could have skipped docbuilding in the first place, by running > 'make build' instead of 'make' (= 'make all'). > > >> I just did >> that and 'make' seems to be re-building almost everything. > > Presumably because the branch there is based on some later version of > Sage than your current is. (7.4.beta0 vs. 7.3 I guess.) > > >> On 13 August 2016 at 17:07, Bill Page <bill.p...@newsynthesis.org> wrote: >>> Yes indeed it does! Much appreciated. >>> >>> On 13 August 2016 at 17:05, Volker Braun <vbraun.n...@gmail.com> wrote: >>>> I removed the leading slash from the branch name on that ticket, works now. >>>> >>>> On Saturday, August 13, 2016 at 10:22:55 PM UTC+2, Bill Page wrote: >>>>> >>>>> OK, I thought that might be it (although all I really wanted was >>>>> read-only access), so I ran 'git trac config', see below. But it still >>>>> fails. >>>>> >>>>> I guess it's just not my day ... > > Looks like... ;-)
To avoid further trouble: You may need (or want) the new FriCAS package from #21209, or at least the UFFI patch from there, as the current optional FriCAS package in Sage (1.2.4) won't build with our current version of ECL either. (But you may have read that on sage-devel already.) If you want to install the /new/ version 1.2.7 from #21209, you have to download it manually (into upstream/) from the link in that ticket's description, as it's not yet on our server. -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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
