On Thu, Oct 10, 2019 at 9:24 PM Dima Pasechnik <dimp...@gmail.com> wrote: > > On Debian gp (from pari/gp) links statically to libpari, for performance > reasons.
Okay, but that's no reason Sage needs to install static libs in $SAGE_LOCAL/lib. It should only ever be necessary if one package needs to statically link a library from another package at build time for some reason... > On Thu, Oct 10, 2019 at 2:19 PM François Bissey <frp.bis...@gmail.com> wrote: >> >> >> >> > On 11/10/2019, at 4:53 AM, Dima Pasechnik <dimp...@gmail.com> wrote: >> > >> > (IIRC there are few places that need static libs) >> >> There are a few places where people claim they want the static libraries >> for performance reasons. I live perfectly well without static libraries >> in sage-on-gentoo and I would think most other distros would too. >> >> François >> >> -- >> 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/04A0AAD6-458C-45EC-A01B-35CA55059FDB%40gmail.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/CAAWYfq1qR6EJeTxUS%3DfO7cuLmCaBUqgmj23Sze1W6q%2B6UbqeWw%40mail.gmail.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/CAOTD34Yn-V0i5aaz%2Bi6M9J6kUEx%2BK1s%2Bby%2ByupbAfHZE0OotzQ%40mail.gmail.com.
