#setting targets and sub-directories
SUBDIRS = $(filter $(wildcard *),simplify cprover cvc ics svc cvcl)
TARGET = all
ifeq ($(MAKECMDGOALS),lite)
SUBDIRS = $(filter $(wildcard *),simplify)
endif
ifeq ($(MAKECMDGOALS),with-cprover)
SUBDIRS = $(filter $(wildcard *),simplify cprover)
endif
ifeq ($(MAKECMDGOALS),clean)
TARGET = clean
endif

all with-cprover lite clean : $(SUBDIRS)

$(SUBDIRS) :
	$(MAKE) -C $@ $(TARGET)

.PHONY : all with-cprover lite clean $(SUBDIRS)
