install_petsc.sh 801 Bytes