mirror of https://github.com/YosysHQ/yosys.git
36 lines
565 B
CMake
36 lines
565 B
CMake
add_library(yosys_passes_sat INTERFACE)
|
|
|
|
target_sources(yosys_passes_sat INTERFACE
|
|
sat.cc
|
|
freduce.cc
|
|
eval.cc
|
|
miter.cc
|
|
expose.cc
|
|
assertpmux.cc
|
|
clk2fflogic.cc
|
|
async2sync.cc
|
|
formalff.cc
|
|
supercover.cc
|
|
fmcombine.cc
|
|
mutate.cc
|
|
cutpoint.cc
|
|
fminit.cc
|
|
recover_names.cc
|
|
synthprop.cc
|
|
|
|
)
|
|
|
|
if (ENABLE_ZLIB)
|
|
target_sources(yosys_passes_sat INTERFACE
|
|
sim.cc
|
|
)
|
|
endif()
|
|
|
|
if (NOT DISABLE_SPAWN)
|
|
target_sources(yosys_passes_sat INTERFACE
|
|
qbfsat.cc
|
|
)
|
|
endif()
|
|
|
|
target_link_libraries(yosys PRIVATE yosys_passes_sat)
|