Cross Reference: /hets/HasCASL/Makefile

	Makefile revision c19d30c596085989cbac4c2b64e0d2eb6ec7aa98
# $Id$

.PHONY: check

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

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

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