2014-05-09 14:50:40 +01:00
|
|
|
# This function downloads and unpacks an archive file, such as a zip
|
|
|
|
# or tar file. This is primarily useful for dynamically generated
|
|
|
|
# archives, such as GitHub's /archive URLs, where the unpacked content
|
|
|
|
# of the zip file doesn't change, but the zip file itself may
|
|
|
|
# (e.g. due to minor changes in the compression algorithm, or changes
|
|
|
|
# in timestamps).
|
2014-05-08 13:57:20 +01:00
|
|
|
|
|
|
|
{ lib, fetchurl, unzip }:
|
|
|
|
|
|
|
|
{ # Optionally move the contents of the unpacked tree up one level.
|
|
|
|
stripRoot ? true
|
2014-05-09 14:50:40 +01:00
|
|
|
, url
|
2015-12-29 15:50:21 +00:00
|
|
|
, extraPostFetch ? ""
|
2017-10-30 16:17:07 +00:00
|
|
|
, name ? "source"
|
2014-05-08 13:57:20 +01:00
|
|
|
, ... } @ args:
|
|
|
|
|
2014-12-12 12:16:57 +00:00
|
|
|
lib.overrideDerivation (fetchurl ({
|
2017-10-30 16:17:07 +00:00
|
|
|
inherit name;
|
2014-05-08 13:57:20 +01:00
|
|
|
|
|
|
|
recursiveHash = true;
|
|
|
|
|
|
|
|
downloadToTemp = true;
|
|
|
|
|
|
|
|
postFetch =
|
|
|
|
''
|
|
|
|
export PATH=${unzip}/bin:$PATH
|
2015-01-23 05:31:29 +00:00
|
|
|
|
|
|
|
unpackDir="$TMPDIR/unpack"
|
|
|
|
mkdir "$unpackDir"
|
|
|
|
cd "$unpackDir"
|
|
|
|
|
2015-01-26 01:09:55 +00:00
|
|
|
renamed="$TMPDIR/${baseNameOf url}"
|
2014-05-08 13:57:20 +01:00
|
|
|
mv "$downloadedFile" "$renamed"
|
|
|
|
unpackFile "$renamed"
|
2015-01-23 05:31:29 +00:00
|
|
|
''
|
|
|
|
+ (if stripRoot then ''
|
|
|
|
if [ $(ls "$unpackDir" | wc -l) != 1 ]; then
|
|
|
|
echo "error: zip file must contain a single file or directory."
|
2016-05-17 17:32:40 +01:00
|
|
|
echo "hint: Pass stripRoot=false; to fetchzip to assume flat list of files."
|
2014-05-08 13:57:20 +01:00
|
|
|
exit 1
|
|
|
|
fi
|
2015-01-23 05:31:29 +00:00
|
|
|
fn=$(cd "$unpackDir" && echo *)
|
|
|
|
if [ -f "$unpackDir/$fn" ]; then
|
2017-07-15 00:04:28 +01:00
|
|
|
mkdir $out
|
2015-01-23 05:31:29 +00:00
|
|
|
fi
|
2017-07-15 00:04:28 +01:00
|
|
|
mv "$unpackDir/$fn" "$out"
|
2015-01-23 05:31:29 +00:00
|
|
|
'' else ''
|
2017-07-15 00:04:28 +01:00
|
|
|
mv "$unpackDir" "$out"
|
2015-12-29 15:50:21 +00:00
|
|
|
'') #*/
|
|
|
|
+ extraPostFetch;
|
|
|
|
} // removeAttrs args [ "stripRoot" "extraPostFetch" ]))
|
2014-12-12 12:16:57 +00:00
|
|
|
# Hackety-hack: we actually need unzip hooks, too
|
|
|
|
(x: {nativeBuildInputs = x.nativeBuildInputs++ [unzip];})
|