# We need these libraries here or we won't be able to recompile gcc
# after any of them get a shared library .so-version bump:
/usr/lib/libisl.so.23
/usr/lib/libmpc.so.3
/usr/lib/libmpfr.so.6
/usr/lib/libgmp.so.10
/usr/lib/libgmpxx.so.4