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")