From d8587f44f0566b5d442216ed12860f03cd7a49e2 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Thu, 28 May 2026 11:13:29 +0200
Subject: [PATCH] Putting back some Makefile.conf

---
 tests/common.mk | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tests/common.mk b/tests/common.mk
index ef6982514..0e85e9fb9 100644
--- a/tests/common.mk
+++ b/tests/common.mk
@@ -1,9 +1,16 @@
 ROOT_DIR := $(abspath $(dir $(lastword $(MAKEFILE_LIST))))
 BUILD_DIR ?= $(ROOT_DIR)/..
+ifneq ($(wildcard $(ROOT_DIR)/../Makefile.conf),)
+include $(ROOT_DIR)/../Makefile.conf
+endif
 
 SBY   ?= sby
 YOSYS ?= $(BUILD_DIR)/yosys
+ifneq ($(ABCEXTERNAL),)
+ABC	  ?= $(ABCEXTERNAL)
+else
 ABC   ?= $(BUILD_DIR)/yosys-abc
+endif
 YOSYS_FILTERLIB ?= $(BUILD_DIR)/yosys-filterlib
 YOSYS_CONFIG ?= $(BUILD_DIR)/yosys-config
 YOSYS_SMTBMC ?= $(BUILD_DIR)/yosys-smtbmc