2011-06-22 21:34:27 +02:00
|
|
|
# tested so far with:
|
|
|
|
# - no revision specified and remote has a HEAD which is used
|
|
|
|
# - revision specified and remote has a HEAD
|
2011-06-22 23:01:36 +02:00
|
|
|
# - revision specified and remote without HEAD
|
2022-12-08 00:51:03 +01:00
|
|
|
#
|
|
|
|
if [ -e .attrs.sh ]; then source .attrs.sh; fi
|
2009-06-24 14:48:01 +02:00
|
|
|
source $stdenv/setup
|
|
|
|
|
2023-01-15 23:08:12 +01:00
|
|
|
echo "exporting $url (rev $rev) into $out"
|
2009-06-24 14:48:01 +02:00
|
|
|
|
2013-12-21 13:48:06 +01:00
|
|
|
$SHELL $fetcher --builder --url "$url" --out "$out" --rev "$rev" \
|
2014-03-23 17:19:39 +01:00
|
|
|
${leaveDotGit:+--leave-dotGit} \
|
2020-12-05 08:32:48 +01:00
|
|
|
${fetchLFS:+--fetch-lfs} \
|
2015-03-10 12:40:19 +01:00
|
|
|
${deepClone:+--deepClone} \
|
2015-04-20 14:25:14 +02:00
|
|
|
${fetchSubmodules:+--fetch-submodules} \
|
2021-08-27 10:25:20 +02:00
|
|
|
${sparseCheckout:+--sparse-checkout "$sparseCheckout"} \
|
2022-08-04 21:26:03 +02:00
|
|
|
${nonConeMode:+--non-cone-mode} \
|
2015-04-20 14:25:14 +02:00
|
|
|
${branchName:+--branch-name "$branchName"}
|
2009-06-24 14:48:01 +02:00
|
|
|
|
2017-06-03 20:45:51 +02:00
|
|
|
runHook postFetch
|