2022-12-08 00:51:03 +01:00
|
|
|
if [ -e .attrs.sh ]; then source .attrs.sh; fi
|
2006-01-30 12:18:38 +01:00
|
|
|
source $stdenv/setup
|
|
|
|
|
|
|
|
tagtext=""
|
|
|
|
tagflags=""
|
2022-12-05 20:49:37 +01:00
|
|
|
# Darcs hashes are sha1 (120 bits, 40-character hex)
|
|
|
|
if [[ "$rev" =~ [a-fA-F0-9]{40} ]]; then
|
|
|
|
tagtext="(hash $rev)"
|
|
|
|
tagflags="--to-hash=$rev"
|
|
|
|
elif test -n "$rev"; then
|
|
|
|
tagtext="(tag $rev)"
|
2014-06-28 20:33:28 +02:00
|
|
|
tagflags="--tag=$rev"
|
2009-05-13 21:02:23 +02:00
|
|
|
elif test -n "$context"; then
|
2022-12-05 20:49:37 +01:00
|
|
|
tagtext="(context)"
|
2009-05-13 21:02:23 +02:00
|
|
|
tagflags="--context=$context"
|
2006-01-30 12:18:38 +01:00
|
|
|
fi
|
|
|
|
|
2023-01-15 23:08:12 +01:00
|
|
|
echo "getting $url $partial ${tagtext} into $out"
|
2006-01-30 12:18:38 +01:00
|
|
|
|
2012-10-22 15:02:33 +02:00
|
|
|
darcs get --lazy $tagflags "$url" "$out"
|
2006-01-30 12:18:38 +01:00
|
|
|
# remove metadata, because it can change
|
|
|
|
rm -rf "$out/_darcs"
|