From 89ff18220fded7667a3a29ea7e2c228264e0a55f Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Wed, 22 Oct 2014 18:26:09 -0400
Subject: source.mk: Also download toolchain archives

---
diff --git a/source.mk b/source.mk
index 45968a1..f8948c6 100644
--- a/source.mk
+++ b/source.mk
@@ -8,3 +8,13 @@ $(source_archive):
 	wget -O '$@' "$(upstream_url)"
 
 source: $(source_archive)
+	set -e; \
+	dir="$$(tar -tzf $(source_archive) | head -n 1 )"; \
+	tar -xzOf $(source_archive) "$${dir%%/*}/Makefile" >Makefile; \
+	printf '\ntoolchain-dl:\n' >>Makefile; \
+	for pkg in GMP MPFR MPC BINUTILS GCC; do \
+		printf '\twget -c -P ../toolchain/ $$(%s_URL)\n' "$${pkg}" \
+			>>Makefile; \
+	done; \
+	make toolchain-dl; \
+	rm Makefile
--
cgit v0.9.1