Sophie

Sophie

distrib > Fedora > 16 > x86_64 > media > updates-src > by-pkgid > 683cbd52fb429f49ecaf111f7132372e > files > 2

cabal-install-0.10.2-5.fc16.src.rpm

CABALBIN=${HOME}/.cabal/bin

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