riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
yosys/backends/smt2/CMakeLists.txt

11 lines
247 B
CMake
Raw Permalink Normal View History

CMake: add backends
2025-02-12 07:36:04 -06:00
add_library(yosys_backends_smt2 INTERFACE)
target_sources(yosys_backends_smt2 INTERFACE
smt2.cc
)
target_link_libraries(yosys PRIVATE yosys_backends_smt2)
CMake: added python3 shared files
2025-02-13 09:21:17 -06:00
add_share_file("share/python3" "smtio.py")
add_share_file("share/python3" "ywio.py")