Replaced with more generic env-debian.sh which should work on any

Debian system.

1 files changed, 0 insertions, 38 deletions

diff --git a/doc/env-coffee.sh b/doc/env-coffee.sh
deleted file mode 100644
index 2ebc13f..0000000
--- a/doc/env-coffee.sh
+++ b/dev/null
@@ -1,38 +0,0 @@
-#!/bin/bash
-
-# Coffee is a workstation running Debian Sid.  A custom build of PETSc
-# is needed since the current Debian package of PETSc does not include
-# HDF5 support.  Debian Bug #566920
-# [http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=566920] has been
-# submitted requesting this feature.
-
-echo "Setting custom PETSc."
-
-export PETSC_ARCH=linux-gnu-c-debug
-
-export PETSC_DIR=/home/don/Apps/Installers/petsc-3.0.0-p10
-
-echo "Setting CPPFLAGS."
-
-export CPPFLAGS="\
--I$PETSC_DIR/include \
--I$PETSC_DIR/$PETSC_ARCH/include \
--I/usr/include/mpi \
--I/usr/include/ncbi"
-
-echo CPPFLAGS=$CPPFLAGS
-
-echo "Setting LDFLAGS."
-
-export LDFLAGS="\
--L$PETSC_DIR/$PETSC_ARCH/lib"
-
-echo LDFLAGS=$LDFLAGS
-
-echo "Setting LD_LIBRARY_PATH."
-
-export LD_LIBRARY_PATH=\
-$LD_LIBRARY_PATH:\
-$PETSC_DIR/$PETSC_ARCH/lib
-
-echo LD_LIBRARY_PATH=$LD_LIBRARY_PATH