Update the patchset for MPFR 2.4.1 from upstream.
-------- diffstat follows --------
/trunk/patches/mpfr/2.4.1/120-cast-to-void-ptr.patch | 25 25 0 0 ++++++++++++
/trunk/patches/mpfr/2.4.1/130-vasprintf-mp_limb_t.patch | 45 45 0 0 ++++++++++++++++++++++
/trunk/patches/mpfr/2.4.1/140-zeta_ui-shift.patch | 47 47 0 0 +++++++++++++++++++++++
3 files changed, 117 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