diff options
Diffstat (limited to 'scripts/build/mpfr.sh')
| -rw-r--r-- | scripts/build/mpfr.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/build/mpfr.sh b/scripts/build/mpfr.sh index e302ff7..19fcb81 100644 --- a/scripts/build/mpfr.sh +++ b/scripts/build/mpfr.sh @@ -30,6 +30,15 @@ do_mpfr_extract() { # do that in the future... # It seems that MPFR >= 2.4.0 do not need this... case "${CT_MPFR_VERSION}" in + 2.4.1) + CT_Pushd "${CT_SRC_DIR}/mpfr-${CT_MPFR_VERSION}" + if [ ! -f .autoreconf.ct-ng ]; then + CT_DoLog DEBUG "Running autoreconf" + CT_DoExecLog ALL autoreconf + touch .autoreconf.ct-ng + fi + CT_Popd + ;; 1.*|2.0.*|2.1.*|2.2.*|2.3.*) CT_Pushd "${CT_SRC_DIR}/mpfr-${CT_MPFR_VERSION}" if [ ! -f .autotools.ct-ng ]; then |