yann@693: # Options specific to downloading packages yann@693: yann@693: comment "Downloading" yann@693: yann@1131: config FORBID_DOWNLOAD yann@1131: bool yann@1131: prompt "Forbid downloads" yann@1131: default n yann@1131: help yann@1131: Normally, crosstool-NG will try to download missing tarballs (or yann@1131: checkout from CVS/SVN...). yann@1131: If you do not have network connectivity when you run crosstool-NG, yann@1131: and some files are missing, it can be a long time before crosstool-NG yann@1131: fails. yann@1131: yann@1131: Saying 'y' here will prevent crosstool-NG from downloading missing yann@1131: files, thus failing early so that you don't get stuck. yann@1131: yann@1131: if ! FORBID_DOWNLOAD yann@1131: yann@693: config FORCE_DOWNLOAD yann@693: bool yann@693: prompt "Force downloads" yann@693: default n yann@693: help yann@693: Force downloading tarballs, even if one already exists. yann@693: yann@693: Usefull if you suspect a tarball to be damaged. yann@693: yann@1022: menuconfig USE_MIRROR yann@754: bool yann@754: prompt "Use LAN mirror" yann@754: default n yann@754: help yann@754: If you have a machine on your LAN that mirrors some of the needed yann@754: tarballs, you can say 'Y' here, and configure adequate values in yann@754: the following options. yann@754: yann@754: Tarballs will be be preferably fetched from the LAN mirror, and if yann@754: not found there, standard places will be searched for. yann@754: yann@754: Obviously, nothing prevents you from using a mirror that is in fact yann@754: *not* on your LAN, for example on another subnet of your company's yann@754: network, or a mirror on the Internet. yann@1366: yann@1366: if USE_MIRROR yann@1366: yann@1366: config PREFER_MIRROR yann@1366: bool yann@1366: prompt "Prefer the mirror" yann@1366: default n yann@1366: help yann@1366: Say 'Y' here if you prefer the LAN miror over the upstream sources. yann@1366: yann@1366: config MIRROR_BASE_URL yann@1366: string yann@1366: prompt "Base URL" yann@1366: default "http://ymorin.is-a-geek.org/mirrors/" yann@1366: help yann@1366: This is the base URL searched in for tarballs. yann@1022: yann@1022: I (Yann E. MORIN) have set up such a mirror to host snapshots of yann@1022: some components, when those snapshots are volatile on the upstream yann@1022: servers. The mirror is *slow*, because it is hosted behind an ADSL yann@1022: line. For the time being, I haven't set up bandwidth limitations, yann@1022: but should the mirror be abused, I will. Please avoid using my yann@1366: machine when you can... Also, no guarantee is made as to its yann@1366: availability. Use at your own risks. yann@754: yann@1366: The mirror is available at: yann@1366: http://ymorin.is-a-geek.org/mirrors/ yann@754: yann@1022: config MIRROR_LS_R yann@754: bool yann@754: # prompt "Use ls-lR et al." yann@754: depends on EXPERIMENTAL yann@754: default n yann@754: help yann@754: If the tarball was not found at the above location, see if the server yann@754: has a ls-lr.gz (or similar) file, and use that file to see if the yann@754: tarball is listed somewhere in that file. yann@754: yann@754: Common file names looked for are: yann@754: ls-lrRt.txt (used at ftp.gnu.org) yann@754: find.txt (ditto) yann@754: ls-lR yann@754: yann@1022: endif # USE_MIRROR yann@754: yann@695: config CONNECT_TIMEOUT yann@695: int yann@695: prompt "connection timeout" yann@695: default 10 yann@695: help yann@695: From the curl manual: yann@695: Maximum time in seconds that you allow the connection to the server to take. yann@754: yann@695: The scenario is as follows; yann@695: - some enterprise networks have firewalls that prohibit FTP traffic, while yann@695: still allowing HTTP yann@695: - most download sites have http:// equivalent for the ftp:// URL yann@695: - after this number of seconds, it is considered that the connection could yann@695: not be established, and the next URL in the list is tried, until we reach yann@695: an URL that will go through the firewall, most probably an http:// URL. yann@754: yann@695: If you have a slow network, you'd better set this value higher than the default yann@695: 10s. If you know a firewall is blocking connections, but your network is globally yann@695: fast, you can try to lower this value to jump more quickly to allowed URLs. YMMV. yann@754: yann@695: Note that this value applies equally to wget if you have that installed. yann@695: yann@695: config ONLY_DOWNLOAD yann@695: bool yann@695: prompt "Stop after downloading tarballs" yann@695: default n yann@695: help yann@695: Only download the tarballs. Exit once it done. yann@695: yann@695: Usefull to pre-retrieve the tarballs before going off-line. yann@1131: yann@1131: endif # ! FORBID_DOWNLOAD