Fix aiger tests when ABCEXTERNAL is set

2026-05-23 05:42:45 +00:00 · 2026-05-16 09:12:20 +02:00
parent e87a9bd9a7
commit 59c1bc35cb
1 changed files with 8 additions and 1 deletions
--- a/tests/aiger/generate_mk.py
+++ b/tests/aiger/generate_mk.py
@@ -54,6 +54,13 @@ def create_tests():
        "rm -f aigmap.err"
    ]))

-extra = [ f"ABC ?= {gen_tests_makefile.yosys_basedir}/yosys-abc", "SHELL := /usr/bin/env bash" ]
+extra = [
+    "ifneq ($(ABCEXTERNAL),)",
+    "ABC ?= $(ABCEXTERNAL)",
+    "else",
+    f"ABC ?= {gen_tests_makefile.yosys_basedir}/yosys-abc",
+    "endif",
+    "SHELL := /usr/bin/env bash",
+]

 gen_tests_makefile.generate_custom(create_tests, extra)