SUBDIRS?=
# SUBDIRS=--use-grade-subdirs

all:
	make test-w-stacksize.400000
	make test-w-stacksize.1000
	if diff test-w-stacksize.400000 test-w-stacksize.1000; then \
	  echo "Files don't differ!"; \
	  exit 1; \
	fi
	# Passed

clean:
	rm -rf Mercury test-w-* test test.mh test.err

test-w-stacksize.%:
	rm -f test
	mmc $(SUBDIRS) --make test --runtime-flags "--detstack-size $*"
	cp -L test $@
