diff options
-rw-r--r-- | src/make.configuration.defn | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/make.configuration.defn b/src/make.configuration.defn index 0db964b..c2444cd 100644 --- a/src/make.configuration.defn +++ b/src/make.configuration.defn @@ -11,7 +11,9 @@ ### check if this was configured with MPI, bail out if not -ifeq ($(strip $(MPI_LIBS)), ) +have_mpi := $(shell grep -s '\#define CCTK_MPI' $(CONFIG)/cctk_Extradefs.h) + +ifeq ($(strip $(have_mpi)), ) $(NAME): MissingMPI .pseudo: MissingMPI MissingMPI: |