On Monday, February 19, 2024 at 2:41:11 PM UTC-8 Dima Pasechnik wrote: On Mon, Feb 19, 2024 at 10:29 PM Matthias Koeppe <matthia...@gmail.com> wrote:
An option to "./configure" could work too, except that the "bootstrap" phase already downloads the "configure" tarball into that directory. an option to ./bootstrap then would be logical ... except that "bootstrap" is invoked by "make configure", so it would have to be a "make" variable. -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/bf4ca5ba-f880-4d30-9140-1cd3a02d8c7dn%40googlegroups.com.