# Force re-installation of gmp, mpir, mpfr and mpc with the GCC that we
# just built. This is needed in particular because gmp/mpir was first
# built without C++ support.
# We do this without actually uninstalling the package files because they
# are still required for GCC to run and rebuild the packages.
sage-spkg-uninstall --keep-files gmp
sage-spkg-uninstall --keep-files mpir
sage-spkg-uninstall --keep-files mpfr
sage-spkg-uninstall --keep-files mpc

# Force re-configuration: the next time that "make" is run, we need to rebuild
# all packages (#24703) but we should not rebuild gcc (#19324)
touch "$SAGE_ROOT/configure"
