Cross Reference: /hets/HasCASL/Makefile

	Makefile revision 5191fa24c532d1f67e7a642e9aece65efb8a0975
# $Id$

.PHONY: check

check: hacapa
    bash ./runcheck.sh ./hacapa

output: hacapa
    bash ./runcheck.sh ./hacapa set

%:
    (cd ../hetcats; $(MAKE) $@)