set(LLVM_TARGET_DEFINITIONS TracingOps.td)
mlir_tablegen(TracingOps.h.inc -gen-op-decls)
mlir_tablegen(TracingOps.cpp.inc -gen-op-defs)
mlir_tablegen(TracingOpsTypes.h.inc -gen-typedef-decls -typedefs-dialect=Tracing)
mlir_tablegen(TracingOpsTypes.cpp.inc -gen-typedef-defs -typedefs-dialect=Tracing)
mlir_tablegen(TracingOpsDialect.h.inc -gen-dialect-decls -dialect=Tracing)
mlir_tablegen(TracingOpsDialect.cpp.inc -gen-dialect-defs -dialect=Tracing)
add_public_tablegen_target(MLIRTracingOpsIncGen)
add_dependencies(mlir-headers MLIRTracingOpsIncGen)

add_concretelang_doc(TracingOps TracingDialect concretelang/ -gen-dialect-doc -dialect=Tracing)
add_concretelang_doc(TracingOps TracingOps concretelang/ -gen-op-doc)
