9deb08a301
This PR upstreams/adds the C APIs for SMT dialect (from CIRCT). --------- Co-authored-by: Bea Healy <beahealy22@gmail.com> Co-authored-by: Martin Erhart <maerhart@outlook.com> Co-authored-by: Mike Urbach <mikeurbach@gmail.com> Co-authored-by: Will Dietz <will.dietz@sifive.com> Co-authored-by: fzi-hielscher <hielscher@fzi.de> Co-authored-by: Fehr Mathieu <mathieu.fehr@gmail.com> Co-authored-by: Clo91eaf <Clo91eaf@qq.com>
26 lines
416 B
CMake
26 lines
416 B
CMake
add_mlir_upstream_c_api_library(MLIRCAPITarget
|
|
LLVMIR.cpp
|
|
|
|
PARTIAL_SOURCES_INTENDED
|
|
|
|
LINK_COMPONENTS
|
|
Core
|
|
|
|
LINK_LIBS PUBLIC
|
|
MLIRToLLVMIRTranslationRegistration
|
|
MLIRCAPIIR
|
|
MLIRLLVMToLLVMIRTranslation
|
|
MLIRLLVMIRToLLVMTranslation
|
|
MLIRSupport
|
|
)
|
|
|
|
add_mlir_upstream_c_api_library(MLIRCAPIExportSMTLIB
|
|
ExportSMTLIB.cpp
|
|
|
|
PARTIAL_SOURCES_INTENDED
|
|
|
|
LINK_LIBS PUBLIC
|
|
MLIRCAPIIR
|
|
MLIRExportSMTLIB
|
|
)
|