default_install && # Work around Bug #16031 (libgmp.so.3 -> libgmp.so.10 transition) # Does not install symlink (removes) on second cast of gmp >= 5.0.1 if [[ "${gmp_old_version//./}" < '501' ]]; then message "${MESSAGE_COLOR}Creating temporary /lib/libgmp.so.3 -> /lib/libgmp.so.10 symlink...${DEFAULT_COLOR}" && ln -sf /lib/libgmp.so.10 "${INSTALL_ROOT}"/lib/libgmp.so.3 fi && persistent_remove gmp_old_version