z3_add_component(clp
  SOURCES
    clp_context.cpp
  COMPONENT_DEPENDENCIES
    muz
    transforms
)
