Split vanilla-test to separate Makefile

tests/Makefile

@@ -0,0 +1,105 @@
+# Tests that generate .mk with ./gen-tests-makefile.sh
+MK_TEST_DIRS =
+MK_TEST_DIRS += ./arch/analogdevices
+MK_TEST_DIRS += ./arch/anlogic
+MK_TEST_DIRS += ./arch/ecp5
+MK_TEST_DIRS += ./arch/efinix
+MK_TEST_DIRS += ./arch/gatemate
+MK_TEST_DIRS += ./arch/gowin
+MK_TEST_DIRS += ./arch/ice40
+MK_TEST_DIRS += ./arch/intel_alm
+MK_TEST_DIRS += ./arch/machxo2
+MK_TEST_DIRS += ./arch/microchip
+MK_TEST_DIRS += ./arch/nanoxplore
+MK_TEST_DIRS += ./arch/nexus
+MK_TEST_DIRS += ./arch/quicklogic/pp3
+MK_TEST_DIRS += ./arch/quicklogic/qlf_k6n10f
+MK_TEST_DIRS += ./arch/xilinx
+MK_TEST_DIRS += ./bugpoint
+MK_TEST_DIRS += ./opt
+MK_TEST_DIRS += ./sat
+MK_TEST_DIRS += ./sdc
+MK_TEST_DIRS += ./sim
+MK_TEST_DIRS += ./svtypes
+MK_TEST_DIRS += ./techmap
+MK_TEST_DIRS += ./various
+MK_TEST_DIRS += ./rtlil
+ifeq ($(ENABLE_VERIFIC),1)
+ifneq ($(YOSYS_NOVERIFIC),1)
+MK_TEST_DIRS += ./verific
+endif
+endif
+MK_TEST_DIRS += ./verilog
+
+# Tests that don't generate .mk
+SH_TEST_DIRS =
+SH_TEST_DIRS += ./simple
+SH_TEST_DIRS += ./simple_abc9
+SH_TEST_DIRS += ./hana
+SH_TEST_DIRS += ./asicworld
+# SH_TEST_DIRS += ./realmath
+SH_TEST_DIRS += ./share
+SH_TEST_DIRS += ./opt_share
+SH_TEST_DIRS += ./fsm
+SH_TEST_DIRS += ./memlib
+SH_TEST_DIRS += ./bram
+SH_TEST_DIRS += ./svinterfaces
+SH_TEST_DIRS += ./xprop
+SH_TEST_DIRS += ./select
+SH_TEST_DIRS += ./peepopt
+SH_TEST_DIRS += ./proc
+SH_TEST_DIRS += ./blif
+SH_TEST_DIRS += ./arch
+SH_TEST_DIRS += ./rpc
+SH_TEST_DIRS += ./memfile
+SH_TEST_DIRS += ./fmt
+SH_TEST_DIRS += ./cxxrtl
+SH_TEST_DIRS += ./liberty
+ifeq ($(ENABLE_FUNCTIONAL_TESTS),1)
+SH_TEST_DIRS += ./functional
+endif
+
+# Tests that don't generate .mk and need special args
+SH_ABC_TEST_DIRS =
+SH_ABC_TEST_DIRS += ./memories
+SH_ABC_TEST_DIRS += ./aiger
+SH_ABC_TEST_DIRS += ./alumacc
+
+all: vanilla-test
+
+# seed-./ is a dummy string, not a directory
+.PHONY: seed-tests
+seed-tests: $(SH_TEST_DIRS:%=seed-./%)
+.PHONY: seed-./%
+seed-./%: %/run-test.sh $(TARGETS) $(EXTRA_TARGETS)
+	+cd $* && bash run-test.sh $(SEEDOPT)
+	+@echo "...passed tests in $*"
+
+# abcopt-./ is a dummy string, not a directory
+.PHONY: abcopt-tests
+abcopt-tests: $(SH_ABC_TEST_DIRS:%=abcopt-./%)
+abcopt-./%: %/run-test.sh $(TARGETS) $(EXTRA_TARGETS)
+	+cd $* && bash run-test.sh $(ABCOPT) $(SEEDOPT)
+	+@echo "...passed tests in $*"
+
+# makefile-./ is a dummy string, not a directory
+.PHONY: makefile-tests
+makefile-tests: $(MK_TEST_DIRS:%=makefile-./%)
+# this target actually emits .mk files
+%.mk:
+	+cd $(dir $*) && bash run-test.sh
+# this one spawns submake on each
+makefile-./%: %/run-test.mk $(TARGETS) $(EXTRA_TARGETS)
+	$(MAKE) -C $* -f run-test.mk
+	+@echo "...passed tests in $*"
+
+vanilla-test: makefile-tests abcopt-tests seed-tests
+	@echo ""
+	@echo "  Passed \"make vanilla-test\"."
+ifeq ($(ENABLE_VERIFIC),1)
+ifeq ($(YOSYS_NOVERIFIC),1)
+	@echo "  Ran tests without verific support due to YOSYS_NOVERIFIC=1."
+endif
+endif
+	@echo ""
+