add_mlir_dialect_library(
  TracingDialectTransforms
  BufferizableOpInterfaceImpl.cpp
  ADDITIONAL_HEADER_DIRS
  ${PROJECT_SOURCE_DIR}/include/concretelang/Dialect/Tracing
  DEPENDS
  mlir-headers
  LINK_LIBS
  PUBLIC
  MLIRArithDialect
  MLIRBufferizationDialect
  MLIRBufferizationTransforms
  MLIRIR
  MLIRMemRefDialect
  MLIRPass
  MLIRTransforms)
