add_library(
  library
  OBJECT
  expr_lt.cpp
  bin_app.cpp
  constants.cpp
  max_sharing.cpp
  module.cpp
  dynlib.cpp
  replace_visitor.cpp
  num.cpp
  util.cpp
  print.cpp
  annotation.cpp
  init_module.cpp
  profiling.cpp
  time_task.cpp
  formatter.cpp
  elab_environment.cpp
  init_attribute.cpp
  llvm.cpp
  ir_interpreter.cpp
  instantiate_mvars.cpp
)
