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

verific: do not link TCL command line interface

This commit is contained in:
Miodrag Milanovic 2026-06-09 14:53:53 +02:00
parent c96d7bc998
commit dc7c7bd825
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
cmake/YosysVerific.cmake
View File

@ -25,6 +25,9 @@ function(get_verific_components result)
list(APPEND components ${component})
endforeach()
# Always remove TCL command interface
list(REMOVE_ITEM components commands)
set(${result} ${components})
return(PROPAGATE ${result})
endfunction()