From bcc736ed7d44d0d1a9e0dc1d0a02cea75f432bb6 Mon Sep 17 00:00:00 2001 From: Catherine Date: Thu, 28 May 2026 13:44:43 +0000 Subject: [PATCH] Revert "Putting back some Makefile.conf" This reverts commit d8587f44f0566b5d442216ed12860f03cd7a49e2. --- tests/common.mk | 7 ------- 1 file changed, 7 deletions(-) diff --git a/tests/common.mk b/tests/common.mk index 0e85e9fb9..ef6982514 100644 --- a/tests/common.mk +++ b/tests/common.mk @@ -1,16 +1,9 @@ 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