include ../Makefile.config

all:
	cd libsupport; $(MAKE)
	cd compiler; $(MAKE)
	cd lib; $(MAKE)
	cd frx; $(MAKE)
	cd safe; $(MAKE)
	cd blt; $(MAKE)
	cd jpf; $(MAKE)

EXDIR=

examples:
	for d in $(EXDIRS); do \
	cd $$d; $(MAKE) $(MKF); cd ..; \
	done

# If Widgets.src is modified locally, then one should also do
# make depend
lib: Widgets.src
	compiler/tkcompiler
	cd lib; $(MAKE)

install: 
	cd lib; $(MAKE) install
	cd libsupport; $(MAKE) install
	cd compiler; $(MAKE) install

installmdk:
	cd safe; cp safe*.mli safe*.cmi $(MDKDIR)

SUBDIRS=compiler libsupport lib frx safe blt jpf $(EXDIRS)

clean : 
	for d in $(SUBDIRS); do \
	cd $$d; $(MAKE) clean; cd ..; \
	done
