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 # Part-2 of mingw C library options: development libraries
5 prompt "Include DirectX development files"
10 prompt "Include OpenGL development files"
15 prompt "Include PDCurses (NCurses library) development files"
20 prompt "PDCurses library version"
21 depends on MINGW_PDCURSES
23 config MINGW_PDCURSES_V_3_4
27 # CT_INSERT_VERSION_ABOVE
28 # Don't remove above line!
30 config MINGW_PDCURSES_V_select
32 prompt "Other version"
36 config MINGW_PDCURSES_VERSION
38 prompt "PDCurses library version" if MINGW_PDCURSES_V_select
39 default "3.4" if MINGW_PDCURSES_V_3_4
40 # CT_INSERT_VERSION_STRING_ABOVE
41 # Don't remove above line!
43 Enter the version number of the PDCurses library to use
47 prompt "Include GnuRX (regex library) development files"
52 prompt "GnuRX library version"
53 depends on MINGW_GNURX
55 config MINGW_GNURX_V_2_5_1
59 # CT_INSERT_VERSION_ABOVE
60 # Don't remove above line!
62 config MINGW_GNURX_V_select
64 prompt "Other version"
68 config MINGW_GNURX_VERSION
70 prompt "GnuRX library version" if MINGW_GNURX_V_select
71 default "2.5.1" if MINGW_GNURX_V_2_5_1
72 # CT_INSERT_VERSION_STRING_ABOVE
73 # Don't remove above line!
75 Enter the version number of the Regex library to use