add_library(yosys_backends_functional INTERFACE)

target_sources(yosys_backends_functional INTERFACE
    cxx.cc
    smtlib.cc
    smtlib_rosette.cc
    test_generic.cc
)

target_link_libraries(yosys PRIVATE yosys_backends_functional)