On Wednesday, April 24, 2024 at 8:19:03 AM UTC-7 Dima Pasechnik wrote: sage -i actually calls make,
This part is true. on a makefile where everything is already set up. So no, it's not for sage -i. This part is false. Our makefiles (https://github.com/sagemath/sage/blame/develop/Makefile, https://github.com/sagemath/sage/blame/develop/build/make/Makefile.in) do not set such variables. The makefiles delegate package installation to build/bin/sage-spkg, which set up the build environment using sage-env and sage-build-env: https://github.com/sagemath/sage/blame/develop/build/bin/sage-spkg#L187 -- 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/433f4ac3-d7d5-40b4-991e-cbb6658fad43n%40googlegroups.com.
