+define checksum
+@if grep -q ' $(subst .,\.,$(1))$$' SHA256SUMS; then \
+ grep ' $(subst .,\.,$(1))$$' SHA256SUMS | sha256sum -c || rm $(1); \
+else \
+ echo "WARNING: no checksum defined for $(1)"; \
+fi
+endef
+
+all: clean gcc
+
+src/$(MPFR_TAR):
+ wget -P "$(BASEDIR)/src" "$(MPFR_URL)"
+ $(call checksum,$@)
+
+src/$(GMP_TAR):
+ wget -P "$(BASEDIR)/src" "$(GMP_URL)"
+ $(call checksum,$@)
+
+src/$(MPC_TAR):
+ wget -P "$(BASEDIR)/src" "$(MPC_URL)"
+ $(call checksum,$@)