1source pkg-config.sh
2path=(
3    gmp/6.2.1
4    mpfr/4.1.1
5    mpc/1.2.1
6    flex/2.6.4
7)
8
9current_path=$(pwd)
10
11for i in ${path[@]}; do
12    echo "Building $i"
13    cd $i
14    ./build.sh || exit 1
15    cd $current_path
16done
17cd $current_path