Makefile 210 Bytes
Newer Older
Christian Müller's avatar
aalta  
Christian Müller committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
SUBDIRS = bool2cnf minisat/simp src

subdirs : $(SUBDIRS)

$(SUBDIRS):
	$(MAKE) --directory=$@
	
clean : 
	for d in $(SUBDIRS);\
	do	\
	$(MAKE) --directory=$$d clean;\
	done

.PHONY : subdirs clean $(SUBDIRS)