install_petsc.sh 871 Bytes