Makefile revision bada0c99c6398c209ec9c6a9f5b316b7b5c99b33
# $Id$
.PHONY: check
check: translateAna
./runcheck.sh ../translateAna
output: translateAna
./runcheck.sh ../translateAna set
translateAna:
if test ! -x ../translateAna; then (cd ..; ./ghc-call); fi
%:
(cd ../..; $(MAKE) $@)