Dear Volker, Le lundi 18 mai 2015 14:08:02 UTC+2, Volker Braun a écrit : > > You can set > > SAGE_SERVER=... > > to a mirror that is reachable behind your firewall. >
That was my second attempt (see what I posted). It didn't work either. > or use the source tarball. > I'm trying to avoid that : My tree is good to sage-6.5beta5 (IIRC), and that means that very little has to be recompiled (this machine is *S-L-O-W* : a full compilation takes about 4-6 hours, and a bit more than that for make testlong...). I'll try to use a bootleg connection (cell phone) to bypass the damn firewall, and will keep you posted. Thank you anyway ! -- Emmanuel Charpentier > > On Monday, May 18, 2015 at 1:03:14 PM UTC+2, Emmanuel Charpentier wrote: >> >> Dear list, >> >> I am aware that sagemath.org is currently migrating from UW to SMC. This >> seems to have serious consequences. I'm trying to build the just-released >> 6.7 on a machine behind a "corporate" firewall. The build fails due to the >> sage-spkg script being unable to download the source tarball. The root of >> the problem seems to be in the routine looking for the fastest server, >> which seems to return an empty list : >> >> charpent@SAP5057241:/usr/local/sage-6.7$ time make >> cd build && \ >> "../build/pipestatus" \ >> "env SAGE_PARALLEL_SPKG_BUILD='' ./install all 2>&1" \ >> "tee -a ../logs/install.log" >> *** ALL ENVIRONMENT VARIABLES BEFORE BUILD: *** >> DBUS_SESSION_BUS_ADDRESS=unix:abstract=/tmp/dbus-zfRxJqhSwo,guid= >> ace828dfe59269a7d92282305559a27c >> DESKTOP_SESSION=default >> DISPLAY=:0 >> GDM_LANG=fr_FR.utf8 >> GDMSESSION=default >> GJS_DEBUG_OUTPUT=stderr >> GJS_DEBUG_TOPICS=JS ERROR;JS LOG >> GNOME_DESKTOP_SESSION_ID=this-is-deprecated >> GPG_AGENT_INFO=/run/user/1000/keyring/gpg:0:1 >> HOME=/home/charpent >> http_proxy=http://10.172.138.20:3128 >> https_proxy=http://10.172.138.20:3128 >> LANG=fr_FR.utf8 >> LOGNAME=charpent >> LS_COLORS=rs=0:di=01;34:ln=01;36:mh=00:pi=40;33:so=01;35:do=01;35:bd=40; >> 33;01:cd=40;33;01:or=40;31;01:su=37;41:sg=30;43:ca=30;41:tw=30;42:ow=34; >> 42:st=37;44:ex=01;32:*.tar=01;31:*.tgz=01;31:*.arc=01;31:*.arj=01;31:*. >> taz=01;31:*.lha=01;31:*.lz4=01;31:*.lzh=01;31:*.lzma=01;31:*.tlz=01;31:*. >> txz=01;31:*.tzo=01;31:*.t7z=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.dz=01 >> ;31:*.gz=01;31:*.lrz=01;31:*.lz=01;31:*.lzo=01;31:*.xz=01;31:*.bz2=01;31 >> :*.bz=01;31:*.tbz=01;31:*.tbz2=01;31:*.tz=01;31:*.deb=01;31:*.rpm=01;31 >> :*.jar=01;31:*.war=01;31:*.ear=01;31:*.sar=01;31:*.rar=01;31:*.alz=01;31 >> :*.ace=01;31:*.zoo=01;31:*.cpio=01;31:*.7z=01;31:*.rz=01;31:*.cab=01;31 >> :*.jpg=01;35:*.jpeg=01;35:*.gif=01;35:*.bmp=01;35:*.pbm=01;35:*.pgm=01;35 >> :*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35 >> :*.png=01;35:*.svg=01;35:*.svgz=01;35:*.mng=01;35:*.pcx=01;35:*.mov=01;35 >> :*.mpg=01;35:*.mpeg=01;35:*.m2v=01;35:*.mkv=01;35:*.webm=01;35:*.ogm=01; >> 35:*.mp4=01;35:*.m4v=01;35:*.mp4v=01;35:*.vob=01 >> ... > > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
