diff options
-rw-r--r-- | source.mk | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -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 |