.PHONY: all
##############################
+#define download_target
+#$(1): $($(1))
+#.PHONY: $($(1))
+#$($(1)):
+# @if [ ! -e "$($(1))" ] ; then echo "$(WEBFETCH) $($(1)-URL)" ; $(WEBFETCH) $($(1)-URL) ; fi
+# @if [ ! -e "$($(1))" ] ; then echo "Could not download source file: $($(1)) does not exist" ; exit 1 ; fi
+# @if test "$$$$($(SHA1SUM) $($(1)) | awk '{print $$$$1}')" != "$($(1)-SHA1SUM)" ; then \
+# echo "sha1sum of the downloaded $($(1)) does not match the one from 'Makefile'" ; \
+# echo "Local copy: $$$$($(SHA1SUM) $($(1)))" ; \
+# echo "In Makefile: $($(1)-SHA1SUM)" ; \
+# false ; \
+# else \
+# ls -l $($(1)) ; \
+# fi
+#endef
+
define download_target
$(1): $($(1))
.PHONY: $($(1))
echo "sha1sum of the downloaded $($(1)) does not match the one from 'Makefile'" ; \
echo "Local copy: $$$$($(SHA1SUM) $($(1)))" ; \
echo "In Makefile: $($(1)-SHA1SUM)" ; \
- false ; \
+ echo "Proceeding anyway .. " ; \
+ ls -l $($(1)) ; \
else \
ls -l $($(1)) ; \
fi