3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-28 12:56:30 +00:00
yosys/docs/common.mk
Miodrag Milanovic a5a3828de8 Update CI scripts for CMake
Co-authored-by: Catherine <whitequark@whitequark.org>
2026-05-27 12:49:17 +00:00

19 lines
504 B
Makefile

ROOT_DIR := $(abspath $(dir $(lastword $(MAKEFILE_LIST))))
BUILD_DIR ?= $(ROOT_DIR)/../build
BUILD_CMD := $(BUILD_DIR)/$(PROGRAM_PREFIX)
ABC ?= $(BUILD_CMD)yosys-abc
YOSYS ?= $(BUILD_CMD)yosys
YOSYS_CONFIG ?= $(BUILD_CMD)yosys-config
YOSYS_FILTERLIB ?= $(BUILD_CMD)yosys-filterlib
YOSYS_SMTBMC ?= $(BUILD_CMD)yosys-smtbmc
YOSYS_WITNESS ?= @$(BUILD_CMD)yosys-witness
export BUILD_DIR
export SBY
export ABC
export YOSYS
export YOSYS_CONFIG
export YOSYS_FILTERLIB
export YOSYS_SMTBMC
export YOSYS_WITNESS