install_petsc.sh 853 Bytes