Add patchset for MGP-4.2.4, from upstream.
/trunk/patches/gmp/4.2.4/120-perfpow.patch | 149 149 0 0 ++++++++++++++++++++++
/trunk/patches/gmp/4.2.4/110-mpf_set_str.patch | 32 32 0 0 +++++
/trunk/patches/gmp/4.2.4/100-mpf_eq.patch | 219 219 0 0 ++++++++++++++++++++++++++++++++
3 files changed, 400 insertions(+)
1 # Wrapper to build the tools facilities
3 # List all tools facilities, and parse their scripts
4 CT_TOOLS_FACILITY_LIST=
5 for f in "${CT_LIB_DIR}/scripts/build/tools/"*.sh; do
6 _f="$(basename "${f}" .sh)"
9 if [ "${!__f}" = "y" ]; then
10 CT_DoLog DEBUG "Enabling tool '${_f}'"
12 CT_TOOLS_FACILITY_LIST="${CT_TOOLS_FACILITY_LIST} ${_f}"
14 CT_DoLog DEBUG "Disabling tool '${_f}'"
18 # Download the tools facilities
20 for f in ${CT_TOOLS_FACILITY_LIST}; do
25 # Extract and patch the tools facilities
27 for f in ${CT_TOOLS_FACILITY_LIST}; do
32 # Build the tools facilities
34 for f in ${CT_TOOLS_FACILITY_LIST}; do