# $Id: Makefile,v 1.5 2004/04/22 13:15:14 2maeder Exp $

.PHONY: check

check: annos
	bash runcheck.sh ../annos

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

annos:
	if test ! -x ../annos; then (cd ..; ./ghc-call); fi

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