Move fetch-curl.rc to scripts

1 files changed, 36 insertions, 0 deletions

diff --git a/scripts/fetch-curl.rc b/scripts/fetch-curl.rc
new file mode 100755
index 00000000..7199ee5c
--- /dev/null
+++ b/scripts/fetch-curl.rc
@@ -0,0 +1,36 @@
+#!/bin/rc
+
+flag e +
+
+ifs='
+'
+
+cd `{dirname $0}
+
+if([ -d src ]) rm -rf src
+
+if(! sha256sum -c sha256 >[2]/dev/null) {
+	curl -L -O -K url
+	sha256sum -c sha256
+}
+
+for(archive in `{awk '{print $2}' sha256}) {
+	switch($archive) {
+	case *.gz
+		tool=zcat
+	case *.bz2
+		tool=bzcat
+	case *.xz
+		tool=xzcat
+	case *
+		tool=()
+	}
+	if(! ~ $#tool 0) $tool $archive | pax -r -s '/^\.\|[^\/]*/src/'
+}
+
+if([ -d patch ]) {
+	if(prefix=`{git rev-parse --show-prefix >[2]/dev/null}) dir=$prefix^src
+	if not dir=src
+	git apply -v --directory $dir patch/*
+}
+status=()