#===------------------------------------------------------------------------===#
#
#                     The KLEE Symbolic Virtual Machine
#
# This file is distributed under the University of Illinois Open Source
# License. See LICENSE.TXT for details.
#
#===------------------------------------------------------------------------===#

add_library(kleeRuntest SHARED
  intrinsics.c
  # HACK:
  ${CMAKE_SOURCE_DIR}/lib/Basic/KTest.cpp
)
# Increment version appropriately if ABI/API changes, more details:
# http://tldp.org/HOWTO/Program-Library-HOWTO/shared-libraries.html#AEN135
set(KLEE_RUNTEST_VERSION 1.0)
set_target_properties(kleeRuntest
  PROPERTIES
    VERSION ${KLEE_RUNTEST_VERSION}
    SOVERSION ${KLEE_RUNTEST_VERSION}
)
target_include_directories(kleeRuntest PRIVATE ${KLEE_INCLUDE_DIRS})

install(TARGETS kleeRuntest DESTINATION "${CMAKE_INSTALL_FULL_LIBDIR}")