mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-19 15:19:05 +00:00
9 lines
195 B
CMake
9 lines
195 B
CMake
add_library(yosys_frontends_verific INTERFACE)
|
|
|
|
target_sources(yosys_frontends_verific INTERFACE
|
|
verific.cc
|
|
#verificsva.cc
|
|
)
|
|
|
|
target_link_libraries(yosys PRIVATE yosys_frontends_verific)
|