On Mon, 21 Sep 2015, Jeroen Demeyer wrote:
Three times is surprising, are you sure you counted correctly? I can understand 2 (once for the toolchain, once for the package itself), but 3 is a bug. I've just tried with the latest branch at #12103, and I see "make configure" only twice.
I don't know exactly what has happened, but at least on my systems compiling is more frequently needed, i.e. sage -b is not enought. Also once I got ImportError from Config and had to do make clean; might be related to this, or might not be.
-- Jori Mäntysalo
