../data/%:
	$(eval URL:=$(firstword $(call config_filter,test_case.config,$@,4)))
	@$(if $(URL),,\
		$(error "No download link nor generation program specified for test case $@") )
	@echo "Download input from $(URL) using curl"
	$(eval DEST_DIR:=$(shell dirname $@))
	cd $(DEST_DIR); curl -O $(URL)
	$(eval FILE:=$(DEST_DIR)/$(notdir $(URL)))
	@$(if $(filter %.gz,$(FILE)),\
		echo "Extract file $(FILE) using gunzip";\
		gunzip $(FILE))

