On Mon, Dec 16, 2019 at 7:32 PM E. Madison Bray <erik.m.b...@gmail.com> wrote:
>
> 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...

a further size saving might be achieved by letting GSL use OpenBLAS
rather than built its own BLAS.
While OpenBLAS is listed as GSL's dependency, it's actually not used
in Sage (so it's puzzling to me
why $(BLAS) is even a dependency of GSL, perhaps some historical reasons)

Alternatively one, I suppose, may use GSL's BLAS in the whole of Sage,
and do not build OpenBLAS
(this is certainly a loss in efficiency, but a win in ease of building etc)

Dima


>
> > 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.

-- 
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/CAAWYfq0FfGUetrQJshAWO%2BF0Pi4vEJX3GMcdTPC3g%3DkYj3vRAA%40mail.gmail.com.

Reply via email to