CI PETSC REINSTALL

script/install_PETSC.sh

@@ -9,7 +9,8 @@ FC=$6
 
 if [ -d "$1/PETSC" -a -f "$1/PETSC/include/petsc.h" ]; then
   echo "PETSC is already installed"
-  exit 0
+  echo "BUT WE ARE REINSTALLING FOR CI"
+  #exit 0
 fi
 
 # Detect gcc pr clang