CABALBIN="${HOME}/.cabal/bin"

if ! echo "${PATH}" | /bin/grep -q "${CABALBIN}" ; then
    if [ -d "${CABALBIN}" ]; then
	PATH="${PATH}:${CABALBIN}"
    fi
fi
unset CABALBIN