diff options
Diffstat (limited to 'runtime/Runtest')
| -rw-r--r-- | runtime/Runtest/CMakeLists.txt | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/runtime/Runtest/CMakeLists.txt b/runtime/Runtest/CMakeLists.txt new file mode 100644 index 00000000..dd455861 --- /dev/null +++ b/runtime/Runtest/CMakeLists.txt @@ -0,0 +1,22 @@ +#===------------------------------------------------------------------------===# +# +# 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} +) |