Use the test Makefile for all examples

[SymbiYosys.git] / tests / make / required_tools.py

diff --git a/tests/make/required_tools.py b/tests/make/required_tools.py
index 67b5d2b23e0f88d7ad8568ab54579cf5fc62262b..203ccd76430713e34d15084b9e5360642ff7573f 100644 (file)
--- a/tests/make/required_tools.py
+++ b/tests/make/required_tools.py
@@ -36,6 +36,15 @@ if __name__ == "__main__":
         with open("make/rules/found_tools") as found_tools_file:
             found_tools = set(tool.strip() for tool in found_tools_file.readlines())
 
+        if 'verific' in required_tools:
+            result = subprocess.run(["yosys", "-qp", "read -verific"], capture_output=True)
+            if result.returncode:
+                print()
+                print(f"SKIPPING {target}: requires yosys with verific support")
+                print()
+                exit()
+            required_tools.remove('verific')
+
         missing_tools = sorted(
             f"`{tool}`" for tool in required_tools if tool not in found_tools
         )