From fcac08cdcef0ad09e50e516ad3b453f753026ca5 Mon Sep 17 00:00:00 2001
From: Martin Diehl <m.diehl@mpie.de>
Date: Mon, 23 Apr 2018 21:31:57 +0200
Subject: [PATCH] helps to identify the PETSc version

---
 DAMASK_prerequisites.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/DAMASK_prerequisites.sh b/DAMASK_prerequisites.sh
index 12dd9bd07..3f5e25a71 100755
--- a/DAMASK_prerequisites.sh
+++ b/DAMASK_prerequisites.sh
@@ -68,6 +68,7 @@ echo PYTHONPATH: $PYTHONPATH
 echo SHELL: $SHELL
 echo PETSC_ARCH: $PETSC_ARCH
 echo PETSC_DIR: $PETSC_DIR
+ls $PETSC_DIR/lib
 echo 
 echo ==============================================================================================
 echo Python