#SUBDIRS = DSL MONADS REFINEMENT SB_INIT 
SUBDIRS = DSL SB_INIT
ARCHIVE = $(SUBDIRS) README Makefile SCRIPTS

.PHONY: $(SUBDIRS)

all: $(SUBDIRS)

$(SUBDIRS):
	make -C $@

# dependencies
DSL: SB_INIT
#REFINEMENT: MONAD
#MONAD: SB_INIT

# other targets
clean:
	rm -f *.tgz *~
	for dir in $(SUBDIRS); do \
          make clean -C $$dir; \
        done

tgz: clean	
	tar zcf	archive.tgz $(ARCHIVE)
