###############################
#          make all           #
###############################

CM = Common
DS = DecSetoids
SG = Semigroups
PS = Preorders
OS = OrderSemigroups
BS = Bisemigroups
T  = Transforms
ST = SemigroupTransforms
   
DIRS = $(CM) $(DS) $(SG) $(PS) $(OS) $(BS) $(T) $(ST)

all:
	@for i in $(DIRS); do \
	echo "-------------------------------------------------"; \
	echo "|          MAKE ALL IN: Inference/$$i"; \
	echo "-------------------------------------------------"; \
	$(MAKE) all COQ_XML=$(COQ_XML) --directory=$$i || exit 1; \
	done

clean:
	@for i in $(DIRS); do \
	echo "-------------------------------------------------"; \
	echo "|          CLEAN ALL IN: Inferences/$$i"; \
	echo "-------------------------------------------------"; \
	$(MAKE) clean --directory=$$i; \
	done

