#!/bin/bash

rm -rf gcc-7.1.0/
rm -rf gmp-6.1.2/
rm -rf mpc-1.0.3/
rm -rf mpfr-3.1.5/
rm -rf isl-0.16.1/
sudo rm -rf /usr/local/gcc-7.1/