# pseudo makefile that allows the user to do a make clean even if he hasn't
# got GNU make or if the configure script failed.

all check depend install info dvi dist:
	@echo "You need GNU make to compile and test run C-Mix."
	@echo "If you *are* using GNU make you're getting this message"
	@echo "because the test suite has not been configured properly."
	@echo Use the '`'configure"' script in the parent directory.
	@false

clean mostlyclean toolclean:
	@echo "Since either you don't use GNU make or you haven't run"
	@echo "the configure script yet I'll assume there's nothing to"
	@echo clean up here...

distclean realclean:
	rm -f GNUmakefile config.*

