On Sat, Mar 25, 2023 at 12:13 PM Dima Pasechnik <dimp...@gmail.com> wrote: > > > > On Sat, 25 Mar 2023, 18:57 Matthias Koeppe, <matthiaskoe...@gmail.com> wrote: >> >> On Saturday, March 25, 2023 at 9:29:32 AM UTC-7 William Stein wrote: >> >> It seems to me that these days there are three >> types of packages: >> >> >> ...at least... >> >> >> - definitely installed in every copy of sage. An example is pari. > > > pari can well come from the system - assuming it passes various ./configure > tests. > > I would not call this "installed".
When I introduced the terminology "standard package" 18 years ago (?) it meant "definitely installed in every copy of sage." which is why https://doc.sagemath.org/html/en/developer/packaging.html says: "standard packages are built by default." I'm fine with the definition changing, but the docs need to be updated to reflect that. They were updated to reflect just the requirement that the package is available (not necessarily built): "For a few packages, configure checks whether they are available from the system, in which case the build of those packages is skipped." That's great. I'm just pointing out that rpy2 doesn't fit into these definitions right now, which is confusing. > >> >> - there's an attempt to install them when sage gets built, if >> conditions are right: an example is rpy2 >> - they are definitely not installed when sage is initially built: >> example include various specialized databases. >> >> >> That's right. > > > you can force non-standard packages being built by passing the relevant > option to ./configure > > e.g. > > ./configure --enable-fricas=yes > > will result in an attempt to build fricas during the initial build (or the > subsequent build, whichever is applicable) > >> >> >> -- >> 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/dd78db41-9855-4f5a-baff-68cd8d9ac536n%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/CAAWYfq1ZH%2BRce10kbPRr3oXb1HFcehbMq%2B-Qp9Fn00it8w9xmQ%40mail.gmail.com. -- William (http://wstein.org) -- 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/CACLE5GB%2BOVXqVxbR0RAsn2T%3DO1r0WsYwJiDHJ6BVd3Q%2BT0R2%2BA%40mail.gmail.com.
