Cross Reference: /hets/ToHaskell/test/Makefile

	Makefile revision fb667d2827149910130c66dc44c74024252a8fbf
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync# $Id$
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync.PHONY: check
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsynccheck: translateAna
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync    ./runcheck.sh ../translateAna
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsyncoutput: translateAna
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync    ./runcheck.sh ../translateAna set
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsynctranslateAna:
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync    if test ! -x ../translateAna; then (cd ..; ./ghc-call); fi
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync    if test ! -x ../../HasCASL/hacapa; \
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync               then (cd ../../HasCASL; ./ghc-call); fi
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync    if test ! -x ../../Haskell/Hatchet/hatch; \
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync               then (cd ../../Haskell/Hatchet; ./ghc-call); fi
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync%:
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync    (cd ../..; $(MAKE) $@)
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync
cabde247f900dcf6e58d009bbdd15099c028c6fcvboxsync