In the past, ./bootstrap triggered the recompilation of a large fraction of Sage’s modules. So I was wary…
Anyway, ./configureing Sage’s ecl and eclib trggered (as expected) recompilation of maxima and fricas, which are not exactly lightweight… Le dimanche 11 septembre 2022 à 13:13:29 UTC+2, Dima Pasechnik a écrit : > Why do you think that running bootstrap will trigger a full rebuild? It > does update ./configure and few other related things. > > Dima > > On Sun, 11 Sep 2022, 12:08 Emmanuel Charpentier, <[email protected]> > wrote: > >> Doesn't build. `./configure --enable-download-from-upstream-url` fails >> with : >> >> ``` >> configure: error: Directory /usr/local/sage-9/build/pkgs/gnulib is >> missing. Re-run bootstrap. >> ``` >> >> which amounts to rebuilding the whole shebang. Not fun... >> >> I'll try to rebuild 9.7.rc1 with configuring Sage's `ecl` and `eclib`. >> >> Advice for ticket filing ? >> >> >> Le dimanche 11 septembre 2022 à 12:55:52 UTC+2, François Bissey a écrit : >> >>> git checkout tags/9.7.rc0 >>> >>> If I am not mistaken. >>> >>> On 11/09/22 22:50, Emmanuel Charpentier wrote: >>> > Can it be done by telling |git|(how ?) to use 9.7.rc0 ? >>> > >>> >> -- >> > You received this message because you are subscribed to the Google Groups >> "sage-release" group. >> > To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-release/5b5dd443-91db-45f8-b34b-28312a0a6b03n%40googlegroups.com >> >> <https://groups.google.com/d/msgid/sage-release/5b5dd443-91db-45f8-b34b-28312a0a6b03n%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/419ce2d6-5e73-4bd0-ad23-d42baf4b5f4fn%40googlegroups.com.
