| -rw-r--r-- | doc/env-debian.sh | 14 |
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 |
