Makefile now generates specification from tests