#
# $Id: Makefile,v 1.5 2003/11/11 21:19:13 markus Exp $
#
# Toplevel makefile

all :
	cd as && if [ ! -f Makefile ]; then ./configure ; fi && $(MAKE) all
	cd gui && if [ ! -f Makefile ]; then ./configure ; fi && $(MAKE) all
	cd interpreter && if [ ! -f Makefile ]; then ./configure ; fi && $(MAKE) clean all
	#cd doc && $(MAKE) all

distclean :
	cd as && $(MAKE) distclean
	cd gui && $(MAKE) distclean
	cd interpreter && $(MAKE) distclean
	#cd doc && $(MAKE) clean

clean :
	cd as && $(MAKE) clean
	cd gui && $(MAKE) clean
	cd interpreter && $(MAKE) clean
	#cd doc && $(MAKE) clean
