mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-20 07:36:39 +00:00
8 lines
157 B
CMake
8 lines
157 B
CMake
add_library(yosys_backends_smv INTERFACE)
|
|
|
|
target_sources(yosys_backends_smv INTERFACE
|
|
smv.cc
|
|
)
|
|
|
|
target_link_libraries(yosys PRIVATE yosys_backends_smv)
|