#!/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