add_library(Crab ${CRAB_LIBS_TYPE} 
  debug.cpp
  stats.cpp
  os.cpp
  ##numbers 
  bignums.cpp
  safeint.cpp
  wrapint.cpp
  ##domains
  term.cpp
  )

target_link_libraries(Crab
  ${GMPXX_LIB} 
  ${GMP_LIB}
  )

install(TARGETS Crab
  LIBRARY DESTINATION crab/lib
  ARCHIVE DESTINATION crab/lib)

if (NOT TopLevel)
  ## This is ugly fix so that seahorn and crab-llvm can find Crab if
  ## dynamically linked. It has to do with how CMAKE_INSTALL_RPATH is
  ## handled by these tools.
  install(TARGETS Crab
    LIBRARY DESTINATION lib
    ARCHIVE DESTINATION lib)
endif()  




add_library(Crab OBJECT 
  debug.cpp
  stats.cpp
  os.cpp
  ##numbers 
  bignums.cpp
  safeint.cpp
  wrapint.cpp
  ##domains
  term.cpp
  )

install(TARGETS Crab
  LIBRARY DESTINATION crab/lib
  ARCHIVE DESTINATION crab/lib)

if (NOT TopLevel)
  ## This is ugly fix so that seahorn and crab-llvm can find Crab if
  ## dynamically linked. It has to do with how CMAKE_INSTALL_RPATH is
  ## handled by these tools.
  install(TARGETS Crab
    LIBRARY DESTINATION lib
    ARCHIVE DESTINATION lib)
endif()  




Create an object library for crab
Create an object library for crab
