about summary refs log tree commit diff homepage
path: root/tools/gen-bout/CMakeLists.txt
diff options
context:
space:
mode:
Diffstat (limited to 'tools/gen-bout/CMakeLists.txt')
-rw-r--r--tools/gen-bout/CMakeLists.txt17
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)