Re: [sage-release] Sage 9.0.beta0 released

2019-10-30 Thread Dima Pasechnik
On Thu, 31 Oct 2019, 03:54 Samuel Lelièvre, wrote: > Thanks Dima for your suggestions. Following them, > I installed more cygwin packages, then ran > > git pull origin develop > make distclean > make configure > ./configure --with-python=3 > make -j4 > > The build, now aiming

Re: [sage-release] Sage 9.0.beta0 released

2019-10-30 Thread Dima Pasechnik
it looks as if you did not install glpk package, for config.log says that glpk.h is not there. On Thu, 31 Oct 2019, 03:54 Samuel Lelièvre, wrote: > Thanks Dima for your suggestions. Following them, > I installed more cygwin packages, then ran > > git pull origin develop > make distclea

Re: [sage-release] Sage 9.0.beta0 released

2019-10-30 Thread Samuel Lelièvre
Thanks Dima for your suggestions. Following them, I installed more cygwin packages, then ran git pull origin develop make distclean make configure ./configure --with-python=3 make -j4 The build, now aiming to build Sage 9.0.beta3, failed on ecm and glpk. See log files: - htt