# $Id$
+# $URL$
+#
#WEBFETCH := curl -H Pragma: -O -R -S --fail --show-error
WEBFETCH := wget
SHA1SUM = sha1sum
@if [ ! -e "$@" ] ; then echo "$(WEBFETCH) $(main.URL)" ; $(WEBFETCH) $(main.URL) ; fi
@if [ ! -e "$@" ] ; then echo "Could not download source file: $@ does not exist" ; exit 1 ; fi
@if test "$$(sha1sum $@ | awk '{print $$1}')" != "$(main.SHA1SUM)" ; then \
- echo "sha1sum of the downloaded $@ does not match the one from 'sources' file" ; \
+ echo "sha1sum of the downloaded $@ does not match the one from 'Makefile'" ; \
echo "Local copy: $$(sha1sum $@)" ; \
- echo "In sources: $$(grep $@ sources)" ; \
+ echo "In Makefile: $main.SHA1SUM" ; \
exit 1 ; \
else \
ls -l $@ ; \