Re: [sage-release] Sage 8.0.beta7 released

2017-05-23 Thread Volker Braun
OK uploaded! On Tuesday, May 23, 2017 at 6:35:57 PM UTC+2, Enrique Artal wrote: > > I do not know if there is some kind of firewall in our university. They > also have it in github > > El lunes, 22 de mayo de 2017, 20:31:49 (UTC+2), Volker Braun escribió: >> >> Anybody have the tarball? >> >> htt

Re: [sage-release] Sage 8.0.beta7 released

2017-05-22 Thread Volker Braun
Anybody have the tarball? https://iuma.unizar.es/es/investigacion/software/sirocco is foobar'ed: PDOException: SQLSTATE[HY000] [2002] Can't connect to local MySQL server through socket '/var/lib/mysql/mysql.sock' (111) in lock_may_be_available() (line 167 of /home/iumaadmin/public_html/includes

Re: [sage-release] Sage 8.0.beta7 released

2017-05-22 Thread tscrim
I was able to build on Cygwin64 with the blockers (and the ECM fix). However, sirocco (libsirocco-2.0.tar.gz) could not be found on the mirrors. Best, Travis -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and s

Re: [sage-release] Sage 8.0.beta7 released

2017-05-19 Thread Erik Bray
On Fri, May 19, 2017 at 9:57 AM, Erik Bray wrote: > ECM build fails on Cygwin: > > [ecm-7.0.4.p0] checking for DLL/static GMP... DLL > [ecm-7.0.4.p0] configure: error: gmp.h is a DLL: use --disable-static > --enable-shared > [ecm-7.0.4.p0] Error configuring GMP-ECM. > [ecm-7.0.4.p0] (See above for

Re: [sage-release] Sage 8.0.beta7 released

2017-05-19 Thread Francois Bissey
Jean-Pierre Flori had done some work on Cygwin for that ticket. Did it somehow go missing? I don’t remember anything like what you observe being mentioned. > On 19/05/2017, at 19:57, Erik Bray wrote: > > ECM build fails on Cygwin: > > [ecm-7.0.4.p0] checking for DLL/static GMP... DLL > [ecm-7.0

Re: [sage-release] Sage 8.0.beta7 released

2017-05-19 Thread Erik Bray
ECM build fails on Cygwin: [ecm-7.0.4.p0] checking for DLL/static GMP... DLL [ecm-7.0.4.p0] configure: error: gmp.h is a DLL: use --disable-static --enable-shared [ecm-7.0.4.p0] Error configuring GMP-ECM. [ecm-7.0.4.p0] (See above for the options passed to its 'configure'.) I don't know why it do

Re: [sage-release] Sage 8.0.beta7 released

2017-05-18 Thread Justin C. Walker
On May 18, 2017, at 12:46 , Volker Braun wrote: > As always, you can get the latest beta version from the "develop" git > branch. Alternatively, the self-contained source tarball is at > http://www.sagemath.org/download-latest.html Built from a clone/checkout of develop w/o problems on macOS 1