From 59c1bc35cbad3b50ef29ec48e443ddffafa6a931 Mon Sep 17 00:00:00 2001 From: Leon White Date: Sat, 16 May 2026 09:12:20 +0200 Subject: [PATCH] Fix aiger tests when ABCEXTERNAL is set --- tests/aiger/generate_mk.py | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/tests/aiger/generate_mk.py b/tests/aiger/generate_mk.py index a90a63527..e6f3f4091 100644 --- 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)