Thanks both. I had forgotten about no incremental builds since it's so long since I went up to 7.0 on my main development machines.
John On 6 Mar 2016 11:04 am, "Jeroen Demeyer" <[email protected]> wrote: > On 2016-03-06 11:23, John Cremona wrote: > >> I seemed to remember that form 7.0 one must now >> do "./configure" before "make" >> > > That's not actually true. Running ./configure before make is optional. But > if you do run ./configure, you need to ensure that configure itself is > up-to-date. So you really need to do "make configure" before anything else > to ensure that. > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
