add cleancross target

This commit is contained in:
Joey Hess 2013-05-09 13:08:24 -04:00
parent f19e0d9f80
commit c113d9eee9

View file

@ -175,10 +175,14 @@ native_install () {
install_pkgs install_pkgs
} }
cross_path () {
PATH=$HOME/.ghc/android-14/arm-linux-androideabi-4.7/bin:$HOME/.ghc/android-14/arm-linux-androideabi-4.7/arm-linux-androideabi/bin:$PATH
}
cross_install () { cross_install () {
echo "Cross install" echo "Cross install"
native= native=
PATH=$HOME/.ghc/android-14/arm-linux-androideabi-4.7/bin:$HOME/.ghc/android-14/arm-linux-androideabi-4.7/arm-linux-androideabi/bin:$PATH cross_path
if [ ! -e $HOME/.ghc/android-14/arm-linux-androideabi-4.7/cabal/packages/hackage.haskell.org ]; then if [ ! -e $HOME/.ghc/android-14/arm-linux-androideabi-4.7/cabal/packages/hackage.haskell.org ]; then
cabal update cabal update
fi fi
@ -192,6 +196,14 @@ case "$mode" in
cross) cross)
cross_install cross_install
;; ;;
cleancross)
# cross install, first removing all currently installed
# packages except those part of ghc
rm -f $(grep -l $HOME/.ghc/android-14/arm-linux-androideabi-4.7/.cabal/lib/ $HOME/.ghc/android-14/arm-linux-androideabi-4.7/lib/ghc-*/package.conf.d/*.conf)
cross_path
ghc-pkg recache
cross_install
;;
"") "")
cross_install cross_install
native_install native_install