luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Exclude weak symbols from overridden symbols

This commit is contained in:
Akash Levy 2026-04-16 11:05:14 -07:00
parent 0dc6bf07f3
commit 29024f215a
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -622,7 +622,7 @@ else
VERIFIC_LIB_OS_SUFFIX = linux
$(VERIFIC_DIR)/_override_syms.txt: $(VERIFIC_SILIMATE_OBJS)
$(Q) nm -g --defined-only $^ | awk '{print $$NF}' | sort -u > $@
$(Q) nm -g --defined-only $^ | awk '$$2 ~ /^[TDBR]$$/ {print $$NF}' | sort -u > $@
$(VERIFIC_DIR)/database/database-linux.a: $(VERIFIC_DIR)/database/database-linux.raw.a $(VERIFIC_DIR)/_override_syms.txt
$(Q) cp $< $@

2
verific

@ -1 +1 @@
Subproject commit 41e750a4a73c2f21083c921ded112221ea30a587
Subproject commit a38fbdb575b50565f041f31909015c07e11020e5