include $D/common/Make.global_options
+################################################################
+# This example program will only work if PETSc is installed. If this
+# is not the case, then simply redefine the main targets to to nothing
+ifneq ($(USE_CONTRIB_PETSC),yes)
+default run clean:
+ @echo
+ @echo "==========================================================="
+ @echo "= This program cannot be compiled without PETSc. Make ="
+ @echo "= sure you have PETSc installed and detected during ="
+ @echo "= configuration of deal.II ="
+ @echo "==========================================================="
+ @echo
+
+else
+#
+################################################################
# Since the whole project consists of only one file, we need not
# consider difficult dependencies. We only have to declare the
# libraries which we want to link to the object file, and there need
include Makefile.dep
+endif # CONTRIB_USE_PETSC