Better checking of available solvers

[SymbiYosys.git] / tests / Makefile

diff --git a/tests/Makefile b/tests/Makefile
index eb941e2338c8950cd876a406ff1540dc15232777..6992f921c34916ea0bf7c8f7fbffe697cc9771b8 100644 (file)
--- a/tests/Makefile
+++ b/tests/Makefile
@@ -2,6 +2,23 @@ test:
 
 .PHONY: test clean refresh help
 
+TOOL_LIST := \
+       btorsim \
+       yices \
+       aigbmc \
+       avy \
+       bitwuzla \
+       boolector \
+       btormc \
+       cvc4 \
+       mathsat \
+       pono \
+       suprove \
+       yices-smt2 \
+       yices \
+       yosys-abc \
+       z3
+
 help:
        @cat make/help.txt
 
@@ -15,5 +32,12 @@ make/rules/test/%.mk:
        python3 make/test_rules.py $<
 
 ifneq (help,$(MAKECMDGOALS))
+
+FIND_TOOLS := $(shell \
+       TOOLS=$$(which $(TOOL_LIST) 2>/dev/null || true); \
+       echo $$TOOLS | cmp -s make/rules/found_tools || echo $$TOOLS > make/rules/found_tools \
+)
+
 include make/rules/collect.mk
+
 endif