Makefile

SUBDIRS := architecture backends bigsim equiv frontends misc regression simple

ifeq ($(VERIFIC),1)
export VERIFIC=1
SUBDIRS += verific
else
export YOSYS_NOVERIFIC=1
endif

ifeq ($(ENABLE_HEAVY_TESTS),1)
export ENABLE_HEAVY_TESTS=1
endif

all: $(addsuffix /.stamp,$(SUBDIRS))
	echo; find * -name "*.status" | sort | xargs grep -H . | sed 's,^,    ,; s,.status:,\t,; s,PASS,pass,;' | expand -t100; echo
	touch .stamp

%/.stamp:
	$(MAKE) -C $(dir $@)

clean:
	+for subdir in $(SUBDIRS); do make -C $$subdir clean; done
	rm -f .stamp

.PHONY: all clean