mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-15 21:36:55 +00:00
Code Activity

Merge pull request #5948 from YosysHQ/tcl9_verific

Browse source 
verific: do not link TCL command line interface
This commit is contained in:
Miodrag Milanović 2026-06-09 13:30:14 +00:00 • committed by GitHub
commit a9446d7389
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 0 deletions
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()