aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/make.configuration.defn13
1 files changed, 10 insertions, 3 deletions
diff --git a/src/make.configuration.defn b/src/make.configuration.defn
index 2d1ac0f..4fc63b8 100644
--- a/src/make.configuration.defn
+++ b/src/make.configuration.defn
@@ -10,8 +10,17 @@
# keep them at the end of lapack
-### check if PETSC_DIR/PETSC_ARCH are set, bail out if not
+### check if this was configured with MPI, bail out if not
+ifeq ($(strip $(MPI_LIBS)), )
+$(NAME): MissingMPI
+.pseudo: MissingMPI
+MissingMPI:
+ @echo "PETSc: requires MPI"
+ @echo "PETSc: Please configure with MPI or remove EllPETSc from ThornList !"
+ exit 2
+endif
+### check if PETSC_DIR/PETSC_ARCH are set, bail out if not
ifeq ($(strip $(PETSC_DIR)), )
$(NAME): MissingPETSC_DIR
.pseudo: MissingPETSC_DIR
@@ -55,5 +64,3 @@ endif
LIBDIRS += $(PETSC_LIB_DIR) $(X_LIB_DIR)
LIBS += $(PETSC_LIBS) $(PLATFORM_LIBS) X11
EXTRAFLAGS = -I$(PETSC_DIR)/include
-
-