mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-27 04:16:28 +00:00
Code Activity

Docs cleanup

Browse source
This commit is contained in:
Miodrag Milanovic 2026-05-26 15:55:00 +02:00
parent 25b6a1f651
commit 12d6ac7204
3 changed files with 14 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

20
docs/Makefile
View file

@ -257,25 +257,23 @@ images:
.PHONY: extract
extract:
@mkdir -p source/generated
@$(BUILD_CMD)yosys -q -p 'help -dump-cmds-json source/generated/cmds.json'
@$(BUILD_CMD)yosys -q -p 'help -dump-cells-json source/generated/cells.json'
@$(YOSYS) -q -p 'help -dump-cmds-json source/generated/cmds.json'
@$(YOSYS) -q -p 'help -dump-cells-json source/generated/cells.json'
@cp ../passes/cmds/chformal.cc source/generated/
@$(BUILD_CMD)yosys -qQT -h 'chformal' -l source/generated/chformal.log
@$(YOSYS) -qQT -h 'chformal' -l source/generated/chformal.log
@mkdir -p source/generated/functional
@cp ../backends/functional/smtlib.cc source/generated/functional/
-@cd .. && diff -U 20 backends/functional/smtlib.cc backends/functional/smtlib_rosette.cc \
> docs/source/generated/functional/rosette.diff || true
@$(BUILD_CMD)yosys --help >source/generated/yosys
@$(BUILD_CMD)yosys-smtbmc --help >source/generated/yosys-smtbmc
@$(BUILD_CMD)yosys-witness --help >source/generated/yosys-witness
@$(BUILD_CMD)yosys-config --help >source/generated/yosys-config
-@$(BUILD_CMD)yosys-filterlib --help 2>source/generated/yosys-filterlib || true
ifeq ($(ABCEXTERNAL),)
-@$(BUILD_CMD)yosys-abc --help 2>source/generated/yosys-abc > /dev/null || true
endif
@$(YOSYS) --help >source/generated/yosys
@$(YOSYS_SMTBMC) --help >source/generated/yosys-smtbmc
@$(YOSYS_WITNESS) --help >source/generated/yosys-witness
@$(YOSYS_CONFIG) --help >source/generated/yosys-config
-@$(YOSYS_FILTERLIB) --help 2>source/generated/yosys-filterlib || true
-@$(ABC) --help 2>source/generated/yosys-abc > /dev/null || true
.PHONY: gen
gen:

4
docs/common.mk
View file

@ -3,7 +3,11 @@ BUILD_DIR ?= $(ROOT_DIR)/../build
BUILD_CMD := $(BUILD_DIR)/$(PROGRAM_PREFIX)
YOSYS ?= $(BUILD_CMD)yosys
ABC ?= $(BUILD_CMD)yosys-abc
YOSYS_FILTERLIB ?= $(BUILD_CMD)yosys-filterlib
YOSYS_WITNESS ?= @$(BUILD_CMD)yosys-witness
YOSYS_CONFIG ?= $(BUILD_CMD)yosys-config
YOSYS_SMTBMC ?= $(BUILD_CMD)yosys-smtbmc
export YOSYS
export YOSYS_CONFIG

2
docs/source/code_examples/stubnets/Makefile
View file

@ -13,7 +13,7 @@ test: stubnets.so
@tail test1.log test2.log test3.log
stubnets.so: stubnets.cc
@$(YOSYS)-config --exec --cxx --cxxflags --ldflags -o $@ -shared $^ --ldlibs >/dev/null 2>&1
@$(YOSYS_CONFIG) --exec --cxx --cxxflags --ldflags -o $@ -shared $^ --ldlibs >/dev/null 2>&1
.PHONY: clean
clean: