CABALBIN=${HOME}/.cabal/bin

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