aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xpetsc.sh14
1 files changed, 2 insertions, 12 deletions
diff --git a/petsc.sh b/petsc.sh
index 196263b..98076f2 100755
--- a/petsc.sh
+++ b/petsc.sh
@@ -45,8 +45,6 @@ CCTK_Search()
}
-echo 'Configuring with PETSc'
-
# Check that MPI is there
if [ -z "$MPI" -o "$MPI" = 'none' ]; then
echo "BEGIN ERROR"
@@ -99,18 +97,10 @@ PETSC_LIB_DIRS='$(PETSC_DIR)/lib/libO/$(PETSC_ARCH)'
PETSC_INC_DIRS='$(PETSC_DIR)/include $(PETSC_DIR)/bmake/$(PETSC_ARCH)'
PETSC_LIBS="petscts petscsnes petscsles petscdm petscmat petscvec petsc $PETSC_ARCH_LIBS"
-echo "BEGIN DEFINE"
-echo "#define CCTK_PETSC 1"
-echo "END DEFINE"
-
-echo "BEGIN DEFINITION"
-echo "HAVE_PETSC = 1"
+echo "BEGIN MAKE_DEFINITION"
echo "PETSC_DIR = $PETSC_DIR"
echo "PETSC_ARCH = $PETSC_ARCH"
-echo "PETSC_LIBS = $PETSC_LIBS"
-echo "PETSC_LIB_DIRS = $PETSC_LIB_DIRS"
-echo "PETSC_INC_DIRS = $PETSC_INC_DIRS"
-echo "END DEFINITION"
+echo "END MAKE_DEFINITION"
echo 'LIBRARY $(PETSC_LIBS) X11 $(MPI_LIBS)'