28 lines · plain
1add_mlir_dialect_library(MLIRSMT2 SMTAttributes.cpp3 SMTDialect.cpp4 SMTOps.cpp5 SMTTypes.cpp6 7 ADDITIONAL_HEADER_DIRS8 ${MLIR_MAIN_INCLUDE_DIR}/mlir/Dialect/SMT9 10 DEPENDS11 MLIRSMTAttrIncGen12 MLIRSMTEnumsIncGen13 MLIRSMTIncGen14 15 LINK_COMPONENTS16 Support17 18 LINK_LIBS PUBLIC19 MLIRIR20 MLIRInferTypeOpInterface21 MLIRSideEffectInterfaces22 MLIRControlFlowInterfaces23)24 25add_dependencies(mlir-headers26 MLIRSMTIncGen27)28