# necessary because otherwise gcc becomes unusable after switching
# from/to devel version
if [[ $GMP_DEVEL == "n" ]]; then
  ln -sf /lib/libgmp.so.3 ${INSTALL_ROOT}/lib/libgmp.so.10
else
  ln -sf /lib/libgmp.so.10 ${INSTALL_ROOT}/lib/libgmp.so.3
fi &&
default_install

.