As the compilation dos through the night, maybe there was some internet downtime that I am not aware of. I will try again and keep track of the router log, thank you for your help
El jueves, 4 de febrero de 2016, 17:36:46 (UTC+1), Dima Pasechnik escribió: > > did the internet connection from the machine die during the build, or > perhaps you are behind some big bad firewall? > > On Thursday, 4 February 2016 15:21:59 UTC, jhonrubia6 wrote: >> >> ... and the new error (on make distclean && make) is >> >> /Users/J_Honrubia/Sage/sage-6.10/sage/build/pipestatus "sage-spkg -f >> setuptools-12.4 2>&1" "tee -a >> /Users/J_Honrubia/Sage/sage-6.10/sage/logs/pkgs/setuptools-12.4.log" >> >> /Users/J_Honrubia/Sage/sage-6.10/sage/src/bin/sage-env: line 434: >> /Users/J_Honrubia/Sage/sage-6.10/sage/local/lib/R/share/Makevars.site: No >> such file or directory >> >> Found local metadata for setuptools-12.4 >> >> Attempting to download package setuptools-12.4.tar.gz from mirrors >> >> Downloading the Sage mirror list >> >> Traceback (most recent call last): >> >> File >> "/Users/J_Honrubia/Sage/sage-6.10/sage/src/bin/sage-download-file", line >> 457, in <module> >> >> tarball.download() >> >> File >> "/Users/J_Honrubia/Sage/sage-6.10/sage/src/bin/sage-download-file", line >> 392, in download >> >> for mirror in MirrorList(): >> >> File >> "/Users/J_Honrubia/Sage/sage-6.10/sage/src/bin/sage-download-file", line >> 152, in __init__ >> >> with contextlib.closing(urllib.urlopen(self.URL)) as f: >> >> File >> "/Users/J_Honrubia/Sage/sage-6.10/sage/local/lib/python/urllib.py", line >> 87, in urlopen >> >> return opener.open(url) >> >> File >> "/Users/J_Honrubia/Sage/sage-6.10/sage/local/lib/python/urllib.py", line >> 213, in open >> >> return getattr(self, name)(url) >> >> File >> "/Users/J_Honrubia/Sage/sage-6.10/sage/local/lib/python/urllib.py", line >> 350, in open_http >> >> h.endheaders(data) >> >> File >> "/Users/J_Honrubia/Sage/sage-6.10/sage/local/lib/python/httplib.py", line >> 997, in endheaders >> >> self._send_output(message_body) >> >> File >> "/Users/J_Honrubia/Sage/sage-6.10/sage/local/lib/python/httplib.py", line >> 850, in _send_output >> >> self.send(msg) >> >> File >> "/Users/J_Honrubia/Sage/sage-6.10/sage/local/lib/python/httplib.py", line >> 812, in send >> >> self.connect() >> >> File >> "/Users/J_Honrubia/Sage/sage-6.10/sage/local/lib/python/httplib.py", line >> 793, in connect >> >> self.timeout, self.source_address) >> >> File >> "/Users/J_Honrubia/Sage/sage-6.10/sage/local/lib/python/socket.py", line >> 555, in create_connection >> >> for res in getaddrinfo(host, port, 0, SOCK_STREAM): >> >> IOError: [Errno socket error] [Errno 8] nodename nor servname provided, >> or not known >> >> make[2]: *** >> [/Users/J_Honrubia/Sage/sage-6.10/sage/local/var/lib/sage/installed/setuptools-12.4] >> >> Error 1 >> >> make[1]: *** [all] Error 2 >> >> >> real 729m8.876s >> >> user 123m22.857s >> >> sys 17m48.141s >> >> *************************************************************** >> >> Error building Sage. >> >> >> The following package(s) may have failed to build: >> >> >> The build directory may contain configuration files and other potentially >> >> helpful information. WARNING: if you now run 'make' again, the build >> >> directory will, by default, be deleted. Set the environment variable >> >> SAGE_KEEP_BUILT_SPKGS to 'yes' to prevent this. >> >> >> make: *** [all] Error 1 >> >> O >> >> El miércoles, 3 de febrero de 2016, 18:41:43 (UTC+1), Volker Braun >> escribió: >>> >>> >>> >>> On Wednesday, February 3, 2016 at 6:25:46 PM UTC+1, jhonrubia6 wrote: >>>> >>>> after make dist-clean && make I've got an error >>>> >>> >>> its "make distclean" >>> >> -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.