1 2 3 4 5 6 7
z3_add_component(interval SOURCES interval_mpq.cpp dep_intervals.cpp COMPONENT_DEPENDENCIES util )