Use a different prefix to install PETSc with MUMPS and hypre

This will make it easier to re-build PISM with one or the other.
pism · May 27, 2021 · 8a15f41 · 8a15f41
1 parent 78e56e7
commit 8a15f41
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/sphinx/installation/code/petsc-mumps-hypre.sh b/doc/sphinx/installation/code/petsc-mumps-hypre.sh
@@ -7,7 +7,7 @@ set -x
 # Install the latest PETSc with MUMPS and hypre in ~/local/petsc using ~/local/build/petsc
 # as the build directory.
 
-prefix=$HOME/local/petsc
+prefix=$HOME/local/petsc-mumps-hypre
 build_dir=~/local/build/petsc
 
 rm -rf ${build_dir}