Re: [sage-devel] What was/is/will be the purpose of maintaining the Sage distribution?

[TB]

On 29/04/2023 23:10, Matthias Koeppe wrote: In this PR (https://github.com/sagemath/sage/pull/35585), the three optional packagesinfo, valgrind, rubiks are switched from our custom installation scripts to a (binary) installation from conda-forge.  This drops platform support for 32-bit Linux (see https://github.com/sagemath/sage/wiki/Sage-9.8-Release-Tour#availability-of-sage-98-and-installation-help) for these optional packages. We will need a decision if this OK. A precedent for phasing out support for a platform in this way was set in 2021 (Sage 9.4), when we dropped support for optional packages on old Linux systems with GCC 4.x toolchains (https://wiki.sagemath.org/ReleaseTours/sage-9.4#Support_for_optional_packages_on_systems_with_gcc_4.x_dropped). On Saturday, April 29, 2023 at 12:28:22 AM UTC-7 Matthias Koeppe wrote: That's now https://github.com/sagemath/sage/pull/35585 (needs review); starting with optional packages, not standard infrastructure packages though. On Saturday, April 29, 2023 at 12:14:56 AM UTC-7 Volker Braun wrote: +1 to just using conda for all basic infrastructure packages if the host doesn't have them. Just put a conda env in the PATH and done. I have a naive question about the installation process. It is naive because I have read only part of the thread and linked PRs: Some of the packages in #35585 (e.g. pandoc) are rather popular, and usually have support in a superset of Linux distros supported by Sage. Should `sage -i pandoc`, at least in an interactive session, first recommend to install it from the distro, and not default to conda? For example, if a user wants to customize an init file of the package or already installed most dependencies of a package from the distro, then the installing from the distro might be better. Have this been discussed before? Regards, TB -- 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/73661032-006b-ad67-2877-1c98e9488d6c%40gmail.com.