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 [[ -n "${gmp_old_version}" && "${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
