On 2022-01-31 20:13:12, John Cremona wrote: > > > > (./sage -i should be deprecated and removed...) > > -- or just have 'sage -i xyz' do whatever 'make xyz' now does, perhaps. >
The main philosophical issue with this is that "make" is a build-time tool, and that "sage" is the thing that "make" builds. Even ignoring the chicken-and-egg problem, we often don't want users to be able to invoke build processes at runtime, after (say) sage has been installed on a distribution. Hiding the Makefile from them is easy enough, but hiding "sage" would elicit a few complaints. -- 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/YfhOFfEFwvDWRf2t%40stitch.
