mirror of
https://github.com/YosysHQ/yosys
synced 2026-05-29 13:26:31 +00:00
16 lines
193 B
CMake
16 lines
193 B
CMake
yosys_core(ezsat
|
|
ezsat.cc
|
|
ezsat.h
|
|
ezminisat.cc
|
|
ezminisat.h
|
|
ezcmdline.cc
|
|
ezcmdline.h
|
|
REQUIRES
|
|
minisat
|
|
DATA_DIR
|
|
include/libs/ezsat
|
|
DATA_FILES
|
|
ezsat.h
|
|
ezminisat.h
|
|
ezcmdline.h
|
|
)
|