mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-21 17:39:41 +00:00
Code Activity

Expose SBY binary location

Browse source
This commit is contained in:
Miodrag Milanovic 2026-05-19 16:08:21 +02:00
parent 07924a3c62
commit 4c8e61a52b
2 changed files with 7 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/common.mk
View file

@ -1,6 +1,7 @@
ROOT_DIR := $(abspath $(dir $(lastword $(MAKEFILE_LIST))))
BUILD_DIR ?= $(ROOT_DIR)/..
SBY ?= sby
YOSYS ?= $(BUILD_DIR)/yosys
ABC ?= $(BUILD_DIR)/yosys-abc
YOSYS_FILTERLIB ?= $(BUILD_DIR)/yosys-filterlib
@ -12,6 +13,7 @@ export YOSYS
export YOSYS_CONFIG
export YOSYS_SMTBMC
export ABC
export SBY
export YOSYS_MAX_THREADS
all:

10
tests/sva/runtest.sh
View file

@ -65,10 +65,10 @@ elif [ -f $prefix.sv ]; then
generate_sby fail > ${prefix}_fail.sby
# Check that SBY is up to date enough for this yosys version
if sby --help | grep -q -e '--status'; then
if ${SBY} --help | grep -q -e '--status'; then
set -x
sby --yosys ${YOSYS} -f ${prefix}_pass.sby
sby --yosys ${YOSYS} -f ${prefix}_fail.sby
${SBY} --yosys ${YOSYS} -f ${prefix}_pass.sby
${SBY} --yosys ${YOSYS} -f ${prefix}_fail.sby
else
echo "sva test '${prefix}' requires an up to date SBY, skipping"
fi
@ -76,9 +76,9 @@ else
generate_sby pass > ${prefix}.sby
# Check that SBY is up to date enough for this yosys version
if sby --help | grep -q -e '--status'; then
if ${SBY} --help | grep -q -e '--status'; then
set -x
sby --yosys ${YOSYS} -f ${prefix}.sby
${SBY} --yosys ${YOSYS} -f ${prefix}.sby
else
echo "sva test '${prefix}' requires an up to date SBY, skipping"
fi