mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-22 01:49:45 +00:00
Code Activity

Do not use Makefile.conf

Browse source
This commit is contained in:
Miodrag Milanovic 2026-05-19 14:29:06 +02:00
parent c0779f488a
commit 15e09163cd
3 changed files with 2 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

5
tests/aiger/generate_mk.py
View file

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

2
tests/common.mk
View file

@ -5,10 +5,12 @@ YOSYS ?= $(BUILD_DIR)/yosys
ABC ?= $(BUILD_DIR)/yosys-abc
YOSYS_FILTERLIB ?= $(BUILD_DIR)/yosys-filterlib
YOSYS_CONFIG ?= $(BUILD_DIR)/yosys-config
YOSYS_MAX_THREADS ?= 4
export YOSYS
export YOSYS_CONFIG
export ABC
export YOSYS_MAX_THREADS
all:

6
tests/gen_tests_makefile.py
View file

@ -94,12 +94,6 @@ def generate_tests(argv, cmds):
def print_header(extra=None):
print(f"include {common_mk}")
print(f"ifneq ($(wildcard {yosys_basedir}/Makefile.conf),)")
print(f"include {yosys_basedir}/Makefile.conf")
print(f"endif")
print("")
print("export YOSYS_MAX_THREADS := 4")
if extra:
for line in extra:
print(line)