z3_add_component(interval
  SOURCES
    interval_mpq.cpp
    dep_intervals.cpp
  COMPONENT_DEPENDENCIES
    util
)