Well binary packages are not so well known in Gentoo. But in any case, your argument about source distribution applies pretty much to all distro package maintainers. At some point they have to choose which options they will enable in the build, binary or otherwise, they distribute.
>From what I can see on debian, they try to build for pretty much any options >they have available, and those runtime dependencies have to be installed and >be included in the dependency tree for that distribution’s binary. Binaries do >not magically appear, someone has to build them, a source distribution just >make the building the user problem by default, but all distributions have >build recipes that you can use yourself if you so wish. > On 27/04/2022, at 10:56, Matthias Koeppe <matthiaskoe...@gmail.com> wrote: > > On Tuesday, April 26, 2022 at 3:53:46 PM UTC-7 Michael Orlitzky wrote: > By the same reasoning, Gentoo isn't source-based, > because you have the option of installing pre-built binary packages > with the default set of options. > > Oh, I didn't know. Haven't met a Gentoo user, only Gentoo developers. > > > -- > 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/2f321a2a-9b42-4c69-8030-d68ecf2a7264n%40googlegroups.com. -- 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/FD326296-C44B-4417-B598-9A6D636D14BF%40gmail.com.
