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)
11 source "config.gen/cc.in"
16 config CC_SUPPORT_FORTRAN
19 config CC_SUPPORT_JAVA
25 config CC_SUPPORT_OBJC
28 config CC_SUPPORT_OBJCXX
31 comment "Additional supported languages:"
37 depends on CC_SUPPORT_CXX
39 Enable building a C++ compiler.
41 Only select this if you know that your specific version of the
42 compiler supports this language.
46 config CC_LANG_FORTRAN
50 depends on CC_SUPPORT_FORTRAN
52 Enable building a FORTRAN compiler.
54 Only select this if you know that your specific version of the
55 compiler supports this language.
61 depends on CC_SUPPORT_JAVA
63 Enable building a Java compiler.
65 Only select this if you know that your specific version of the
66 compiler supports this language.
70 prompt "ADA (EXPERIMENTAL)"
72 depends on CC_SUPPORT_ADA
73 depends on EXPERIMENTAL
75 Enable building an Ada compiler.
77 Only select this if you know that your specific version of the
78 compiler supports this language.
82 prompt "Objective-C (EXPERIMENTAL)"
84 depends on CC_SUPPORT_OBJC
85 depends on EXPERIMENTAL
87 Enable building an Objective C compiler.
89 Only select this if you know that your specific version of the
90 compiler supports this language.
94 prompt "Objective-C++ (EXPERIMENTAL)"
95 depends on EXPERIMENTAL
97 depends on CC_SUPPORT_OBJCXX
99 Enable building an Objective C++ compiler.
101 Only select this if you know that your specific version of the
102 compiler supports this language.
104 config CC_LANG_OTHERS
106 prompt "Other languages (EXPERIMENTAL)"
108 depends on EXPERIMENTAL
110 Enter here a comma-separated list of languages that you know your compiler
111 supports, besides those listed above.
113 Eg. gcc-4.1+ has a toy programming language, treelang. As it is not usefull
114 in real life, it is not available in the selection above.
118 source "config.gen/cc.in.2"