aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/make.configuration.defn9
1 files changed, 2 insertions, 7 deletions
diff --git a/src/make.configuration.defn b/src/make.configuration.defn
index 7e21c8c..b67845e 100644
--- a/src/make.configuration.defn
+++ b/src/make.configuration.defn
@@ -1,11 +1,6 @@
# Main make.code.defn file for thorn CactusElliptic/EllPETSc
# $Header$
-
-# check if this was configured with PETSc, bail out if not
-have_petsc := $(shell grep -s '\#define CCTK_PETSC 1' $(CONFIG)/cctk_Extradefs.h)
-
-ifeq ($(strip $(have_petsc)), )
-$(NAME): MissingPETSC
- $(error"This configuration wasn't configured to use PETSc. Please reconfigure with 'PETSC=yes' or remove EllPETSc from your ThornList.")
+ifeq ($(strip $(HAVE_PETSC)), )
+ $(error This configuration was not configured to use PETSc. Please reconfigure with 'PETSC=yes' or remove EllPETSc from your ThornList)
endif