1set -e
 2
 3if [ "$#" != 1 ] ; then
 4	echo 'usage: fetch-curl.sh dir' >&2
 5	exit 2
 6fi
 7
 8. ./paths.sh
 9dir=$1
10shift
11
12cd "$distdir"
13
14if ! sh "$basedir/scripts/checksum.sh" -c "$basedir/$dir/sha256" 2>/dev/null ; then
15	curl -fL -K "$basedir/$dir/url" -O
16	sh "$basedir/scripts/checksum.sh" -c "$basedir/$dir/sha256"
17fi
18
19cd "$basedir/$dir"
20
21if [ -e src ] ; then
22	rm -rf src
23fi
24
25while read -r _ archive ; do
26	sh "$basedir/scripts/extract.sh" "$distdir/$archive" -s ',^[^/]*,src,'
27done <sha256
28
29if [ -d patch ] ; then
30	git apply -v --whitespace=nowarn --directory "$dir/src" patch/*.patch
31fi