STOP = --stop
demo :
	M2 $(STOP) --no-debug -e 'input "demo.m2"; exit 0' </dev/null
	M2 $(STOP) --no-debug -e 'input "demo2.m2"; exit 0' </dev/null
	M2 $(STOP) --no-debug -e 'input "demo3.m2"; exit 0' </dev/null
	M2 $(STOP) --no-debug -e 'input "test-dan.m2"; exit 0' </dev/null
#	M2 $(STOP) --no-debug -e 'input "test-mike.m2"; exit 0' </dev/null
