Modifies target tests/xmlts.zip so that if the environment variable
XMLTS_DIR is set, the xmlts.zip will be copied from there rather
than downloaded again from xml.org. I currently need this
because I have a very limited internet connection.
tests/benchmark/benchmark@EXEEXT@ -n $(top_srcdir)/../testdata/largefiles/recset.xml 65535 3
tests/xmlts.zip:
- wget --output-document=tests/xmlts.zip \
- https://www.w3.org/XML/Test/xmlts20080827.zip
+ if test "$(XMLTS_ZIP)" = ""; then \
+ wget --output-document=tests/xmlts.zip \
+ https://www.w3.org/XML/Test/xmlts20080827.zip; \
+ else \
+ cp $(XMLTS_ZIP) tests/xmlts.zip; \
+ fi
tests/xmlconf: tests/xmlts.zip
cd tests && unzip -q xmlts.zip