# $Header: /repository/HetCATS/HasCASL/Makefile,v 1.6 2003/05/07 16:24:25 2maeder Exp $

call:
	ghc-call

%: 
	(cd test; $(MAKE) $@)
