mirror of https://github.com/YosysHQ/yosys.git
11 lines
234 B
CMake
11 lines
234 B
CMake
|
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)
|