add_library(library OBJECT expr_lt.cpp io_state.cpp
  io_state_stream.cpp bin_app.cpp constants.cpp max_sharing.cpp
  module.cpp sorry.cpp replace_visitor.cpp num.cpp
  class.cpp util.cpp print.cpp annotation.cpp
  protected.cpp reducible.cpp init_module.cpp
  pp_options.cpp projection.cpp
  aux_recursors.cpp trace.cpp
  messages.cpp message_builder.cpp
  profiling.cpp time_task.cpp
  formatter.cpp json.cpp
  abstract_type_context.cpp)
