mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-21 16:16:39 +00:00
11 lines
247 B
CMake
11 lines
247 B
CMake
add_library(yosys_backends_smt2 INTERFACE)
|
|
|
|
target_sources(yosys_backends_smt2 INTERFACE
|
|
smt2.cc
|
|
)
|
|
|
|
target_link_libraries(yosys PRIVATE yosys_backends_smt2)
|
|
|
|
add_share_file("share/python3" "smtio.py")
|
|
add_share_file("share/python3" "ywio.py")
|