[sage-devel] SageMath for Windows download counts via GitHub

2019-10-10 Thread E. Madison Bray
Something that has vexed me since first posting Windows releases to GitHub is that I would have liked to have at least *some* download statistics for it, and yet GitHub doesn't display that anywhere on the website. However, I was just noodling around in the GitHub API (trying to automate releases)

[sage-devel] Static libraries

2019-10-10 Thread Marc Mezzarobba
Hi, Maybe a stupid question, but: does Sage really need to build all these static libraries? Why? 456M./local/lib/libgiac.a 144M./local/lib/libec.a 120M./local/lib/libppl_c.a 107M./local/lib/libpari.a 69M ./local/lib/libppl.a 48M ./local/lib/libsymmetrica.a 31M ./local

Re: [sage-devel] Static libraries

2019-10-10 Thread Dima Pasechnik
The stuff in ./local/share/gap/pkg/SmallGrp-1.3/ are not static libraries, to begin with. Otherwise, indeed, why not systematically try to add "--disable-static" in spkg-install files to everything that accepts it, and see how it flies (IIRC there are few places that need static libs) On Thu,

Re: [sage-devel] Static libraries

2019-10-10 Thread François Bissey
> On 11/10/2019, at 4:53 AM, Dima Pasechnik 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 ot

Re: [sage-devel] Static libraries

2019-10-10 Thread Dima Pasechnik
On Debian gp (from pari/gp) links statically to libpari, for performance reasons. On Thu, Oct 10, 2019 at 2:19 PM François Bissey wrote: > > > > On 11/10/2019, at 4:53 AM, Dima Pasechnik wrote: > > > > (IIRC there are few places that need static libs) > > There are a few places where people cl