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 Unless otherwise stated in individual files, this work is licensed to you under
4 - Files in docs/ are available under the Creative Commons Attribution, Share
5 Alike (by-sa), v2.5, to be found there:
6 licenses.d/by-sa/deed.en (human-readable summary)
7 licenses.d/by-sa/legalcode (legal code, the full license)
9 - Files found in patches/*/ are available under the same license as the
10 upstream software they apply to.
12 That means that you can't use those patches if you were licensed the
13 software under a specific license which is not the one the software is
14 commonly available under.
16 As an example, if you ever managed to get the Linux kernel under a license
17 other than the GPLv2, you are not allowed to use the Linux kernel patches
18 coming with crosstool-NG, as those are available under the GPLv2, which is
19 the license the Linux kernel is most commonly available under.
21 As a convenience, the GNU Lesser General Public License (LGPL) v2.1 (for the
22 patches against glibc, uClibc, and some other libraries) is available there:
25 - Other files not covered by the above licenses, and not covered by an
26 individual license specified in the file itself, or an accompanying file,
27 are available under the GNU General Public License (GPL), v2, to be found
31 - Also, I want to clarify one point. If you build a toolchain with crosstool-NG
32 and you happen to sell, deliver, or otherwise publish this toolchain to a
33 third party, I consider crosstool-NG as being part of the sources needed to
34 rebuild the afore-mentioned toolchain, alongside with all other source code
35 that third party is otherwise entitled to receive, due to other licenses of
36 the different components. See licenses.d/gpl.txt, section 3, which reads:
37 > For an executable work, complete source code means [...], plus the
38 > scripts used to control compilation and installation of the executable.
40 In short: crosstool-NG is the part refered to as "the scripts to control
41 compilation and installation of the executable", it being the toolchain in
42 our case; and as such you must make it available, in conformance to the
45 Also, if you have local patches that you apply to the different components
46 (either manualy, or by instructing crosstool-NG to do so), you will have to
47 make those patches available alongside with your toolchain, to comply with
48 the licenses of the components impacted by your patches.