13 lines · plain
1add_mlir_dialect_library(MLIRTransformSMTExtension2 SMTExtension.cpp3 SMTExtensionOps.cpp4 5 DEPENDS6 MLIRTransformDialectSMTExtensionOpsIncGen7 8 LINK_LIBS PUBLIC9 MLIRIR10 MLIRTransformDialect11 MLIRSMT12)13 1add_mlir_dialect_library(MLIRTransformSMTExtension2 SMTExtension.cpp3 SMTExtensionOps.cpp4 5 DEPENDS6 MLIRTransformDialectSMTExtensionOpsIncGen7 8 LINK_LIBS PUBLIC9 MLIRIR10 MLIRTransformDialect11 MLIRSMT12)13