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:

- 
https://www.math.u-psud.fr/~lelievre/sagelogs/cyg64/sage-9.0.beta3-py3/config.log.txt
- 
https://www.math.u-psud.fr/~lelievre/sagelogs/cyg64/sage-9.0.beta3-py3/ecm-7.0.4.p1.log.txt
- 
https://www.math.u-psud.fr/~lelievre/sagelogs/cyg64/sage-9.0.beta3-py3/glpk-4.65.p0.log.txt

-- 
You received this message because you are subscribed to the Google Groups 
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-release/CAEcArF3OQgEcz92EWcnZTh%2B-1zkXsBEisYAT5AnQ9E-N287%2Bgw%40mail.gmail.com.

Reply via email to