complibs/ppl: update GMP location configuration argument for PPL v0.11 and later
'configure' for PPL 0.11 (and later) needs "--with-gmp-prefix" to
provide the location of the GMP toolkit; the previous switches were
"--with-libgmp-prefix" and "--with-libgmpxx-prefix".
The upstream log message is:
commit 08dfb6fea094f8c5a533575a3ea2095edce99a6d
Author: Roberto Bagnara <bagnara@cs.unipr.it>
Date: Sun Jul 12 21:39:46 2009 +0200
New configure option --with-gmp-prefix supersedes the (now removed)
options --with-libgmp-prefix and --with-libgmpxx-prefix.
Link: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08dfb6fea094f8c5a533575a3ea2095edce99a6d
Since PPL's 'configure' ignores unknown switches, we use all three so we
don't have to conditionalize the ppl.sh build script itself.
Signed-Off-By: Anthony Foiani <anthony.foiani@gmail.com>
(transplanted from 4f0c4fb572e2862c24b28e8d27ce7e9cb9adba65)
1 # Options specific to downloading packages
7 prompt "Forbid downloads"
10 Normally, crosstool-NG will try to download missing tarballs (or
11 checkout from CVS/SVN...).
12 If you do not have network connectivity when you run crosstool-NG,
13 and some files are missing, it can be a long time before crosstool-NG
16 Saying 'y' here will prevent crosstool-NG from downloading missing
17 files, thus failing early so that you don't get stuck.
23 prompt "Force downloads"
26 Force downloading tarballs, even if one already exists.
28 Usefull if you suspect a tarball to be damaged.
35 If you have a machine on your LAN that mirrors some of the needed
36 tarballs, you can say 'Y' here, and configure adequate values in
37 the following options.
39 Obviously, nothing prevents you from using a mirror that is in fact
40 *not* on your LAN, for example on another subnet of your company's
41 network, or a mirror on the Internet.
47 prompt "Prefer the mirror"
50 Say 'Y' here if you prefer the LAN miror over the upstream sources.
52 config MIRROR_BASE_URL
55 default "http://ymorin.is-a-geek.org/mirrors/"
57 This is the base URL searched in for tarballs.
59 I (Yann E. MORIN) have set up such a mirror to host snapshots of
60 some components, when those snapshots are volatile on the upstream
61 servers. The mirror is *slow*, because it is hosted behind an ADSL
62 line. For the time being, I haven't set up bandwidth limitations,
63 but should the mirror be abused, I will. Please avoid using my
64 machine when you can... Also, no guarantee is made as to its
65 availability. Use at your own risks.
67 The mirror is available at:
68 http://ymorin.is-a-geek.org/mirrors/
72 config CONNECT_TIMEOUT
74 prompt "Connection timeout"
78 Maximum time in seconds that you allow the connection to the server to take.
80 The scenario is as follows;
81 - some enterprise networks have firewalls that prohibit FTP traffic, while
83 - most download sites have http:// equivalent for the ftp:// URL
84 - after this number of seconds, it is considered that the connection could
85 not be established, and the next URL in the list is tried, until we reach
86 an URL that will go through the firewall, most probably an http:// URL.
88 If you have a slow network, you'd better set this value higher than the default
89 10s. If you know a firewall is blocking connections, but your network is globally
90 fast, you can try to lower this value to jump more quickly to allowed URLs. YMMV.
92 Note that this value applies equally to wget if you have that installed.
96 prompt "Stop after downloading tarballs"
99 Only download the tarballs. Exit once it done.
101 Usefull to pre-retrieve the tarballs before going off-line.
103 endif # ! FORBID_DOWNLOAD