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 # Companion libraries config options
2 # Those libraries are required for different versions of gcc,
3 # and can be used by binutils and gdb (maybe others as well).
5 menu "Companion libraries"
15 select COMPLIBS_NEEDED
21 select COMPLIBS_NEEDED
27 select COMPLIBS_NEEDED
33 select COMPLIBS_NEEDED
39 select COMPLIBS_NEEDED
45 select COMPLIBS_NEEDED
85 source "config/companion_libs/gmp.in"
88 source "config/companion_libs/mpfr.in"
91 source "config/companion_libs/ppl.in"
94 source "config/companion_libs/cloog.in"
97 source "config/companion_libs/mpc.in"
99 if LIBELF || LIBELF_TARGET
100 comment "libelf version needed to build for target"
102 source "config/companion_libs/libelf.in"
110 comment "Companion libraries common options"
112 config COMPLIBS_CHECK
114 prompt "Check the companion libraries builds (!!! READ HELP!!!)"
117 It is highly recommended to check the newly built companion libraries.
118 Unfortunately, this is a very intensive task, and takes a loooong time.
120 Checking the newly built companion libraries is thus disabled by default,
121 but it is suggested that you check them at least once on your machine,
122 and if they work, disable the check on subsequent builds.
124 If you suspect that one (or more) of your companion libraries is the
125 cause for incorrectly generated code, you should answer 'Y' here.
126 Note however that this will take a really long time. For example,
127 building PPL on my machine takes roughly 1'40", while checking it takes