# tried to download this on the fly using git archive at git://libvirt.org/libvirt.git
# but it feels like git archive is not supported/allowed there
ALL += libvirt
-libvirt-URL := http://libvirt.org/sources/libvirt-1.2.1.tar.gz
+libvirt-URL1 := http://mirror.onelab.eu/third-party/libvirt-1.2.1.tar.gz
+libvirt-URL2 := http://planet-lab.org/third-party/libvirt-1.2.1.tar.gz
libvirt-SHA1SUM := ea8e237e0df9f1828ff4a7a649c42aa45af7ecd7
-libvirt := $(notdir $(libvirt-URL))
+libvirt := $(notdir $(libvirt-URL1))
all: $(ALL)
.PHONY: all
.PHONY: $(1)
$($(1)):
@if [ ! -e "$($(1))" ] ; then \
- { echo Using primary; echo "$(WEBFETCH) $($(1)-URL)" ; $(WEBFETCH) $($(1)-URL) ; } ; fi
+ { echo Using primary; echo "$(WEBFETCH) $($(1)-URL1)" ; $(WEBFETCH) $($(1)-URL1) ; } || \
+ { echo Using secondary; echo "$(WEBFETCH) $($(1)-URL2)" ; $(WEBFETCH) $($(1)-URL2) ; } ; 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'" ; \