1 files changed, 14 insertions, 0 deletions

diff --git a/doc/env-debian.sh b/doc/env-debian.sh
new file mode 100644
index 0000000..5bb5085
--- a/dev/null
+++ b/doc/env-debian.sh
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+# This script was developed against a Debian GNU/Linux Sid
+# distribution.
+
+echo "Setting CPPFLAGS."
+
+export CPPFLAGS="\
+-I/usr/include/mpi \
+-I/usr/include/ncbi \
+-I/usr/include/petsc \
+`xml2-config --cflags`"
+
+echo CPPFLAGS=$CPPFLAGS