diff options
Diffstat (limited to 'tools/gen-bout/CMakeLists.txt')
-rw-r--r-- | tools/gen-bout/CMakeLists.txt | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tools/gen-bout/CMakeLists.txt b/tools/gen-bout/CMakeLists.txt deleted file mode 100644 index 07cfb3c7..00000000 --- a/tools/gen-bout/CMakeLists.txt +++ /dev/null @@ -1,17 +0,0 @@ -#===------------------------------------------------------------------------===# -# -# The KLEE Symbolic Virtual Machine -# -# This file is distributed under the University of Illinois Open Source -# License. See LICENSE.TXT for details. -# -#===------------------------------------------------------------------------===# -add_executable(gen-bout - gen-bout.cpp -) - -set(KLEE_LIBS kleeBasic) - -target_link_libraries(gen-bout ${KLEE_LIBS}) - -install(TARGETS gen-bout RUNTIME DESTINATION bin) |