install_petsc.sh 1.12 KB