deal.II: slepc: check if PETSC_DIR is present

diff --git a/deal.II-toolchain/packages/slepc.package b/deal.II-toolchain/packages/slepc.package
index 52225279b40070362f40776554958ea82bca688c..f469b650a8baf9cd919246eec6b03410a90f77d4 100644 (file)
--- a/deal.II-toolchain/packages/slepc.package
+++ b/deal.II-toolchain/packages/slepc.package
@@ -7,6 +7,11 @@ BUILDCHAIN=custom
 
 INSTALL_PATH=${INSTALL_PATH}/${NAME}
 
+if [ -z "${PETSC_DIR}" ]; then
+    cecho ${BAD} "slepc: error petsc variable PETSC_DIR not found."
+    exit 1
+fi
+
 package_specific_setup () {
     cd ${BUILDDIR}
     cp -rf ${UNPACK_PATH}/${EXTRACTSTO}/* .