blob: df5f2c23be28a80673f8bc129f7f5d36e4881bac (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#===------------------------------------------------------------------------===#
#
# 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}")
|
