# based on where this GHC repo came from.
defaultrepo=`cat _darcs/prefs/defaultrepo`
case $defaultrepo in
- http://*) default_repo_root=`echo $defaultrepo | sed 's!/ghc$!!'`
- default_lib_repo_root=$default_repo_root/packages;;
- /*) default_repo_root=$defaultrepo
- default_lib_repo_root=$default_repo_root/libraries;;
+ http://* | *@*:*)
+ defaultrepo_lib=`echo $defaultrepo | sed 's!/ghc$!!'`/packages;;
+ /*)
+ defaultrepo_lib=$defaultrepo/libraries;;
esac
quiet=NO
*) echo "warning: adding --partial, to override use --complete"
esac
- repo_root=`cat _darcs/prefs/defaultrepo`
- case $repo_root in
- /*) lib_repos=$repo_root/libraries;;
- *) lib_repos=$default_lib_repo_root;;
- esac
-
cd libraries
if test "$extra" = "YES"; then
if test -d $pkg; then
echo "warning: $pkg already present; omitting"
else
- repo=$lib_repos/$pkg
+ repo=$defaultrepo_lib/$pkg
message "== running darcs get --partial $* $repo"
darcs get --partial $* $repo
fi