No such luck : My cellphone no longer gives me access to that (it did about 3 hours before for a different machine with no wired connection. Worked like a charm).
Something is fishy here... but I do not know the Sage build architecture well enough to diagnose it. I suppose I'll have to fall back to the tarball. I shall do that overnight... HTH, -- Emmanuel Charpentier Le lundi 18 mai 2015 14:19:08 UTC+2, Emmanuel Charpentier a écrit : > > 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 sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
