2003-07-10 11:11:30 +02:00
|
|
|
#! /bin/sh
|
|
|
|
|
2003-08-15 12:13:41 +02:00
|
|
|
export PATH=/bin:/usr/bin
|
|
|
|
|
2003-07-12 13:03:14 +02:00
|
|
|
echo "downloading $url into $out..."
|
2003-08-15 12:13:41 +02:00
|
|
|
|
|
|
|
prefetch=@prefix@/store/nix-prefetch-url-$md5
|
|
|
|
if test -f "$prefetch"; then
|
|
|
|
echo "using prefetched $prefetch";
|
|
|
|
mv $prefetch $out || exit 1
|
|
|
|
else
|
|
|
|
@wget@ "$url" -O "$out" || exit 1
|
|
|
|
fi
|
2003-07-12 13:03:14 +02:00
|
|
|
|
2003-08-06 11:35:05 +02:00
|
|
|
actual=$(@bindir@/nix-hash --flat $out)
|
2003-08-06 12:00:30 +02:00
|
|
|
if test "$actual" != "$md5"; then
|
2003-07-21 22:07:12 +02:00
|
|
|
echo "hash is $actual, expected $md5"
|
|
|
|
exit 1
|
2003-07-12 13:03:14 +02:00
|
|
|
fi
|