From 28a3d47fa03b9ed98f1bbb4f1b38ecbd44ab1a00 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 2 Dec 2016 16:26:52 +0000
Subject: Fixed the issue of klee-stats not being copied to bin/

---
 tools/klee-stats/CMakeLists.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tools/klee-stats/CMakeLists.txt b/tools/klee-stats/CMakeLists.txt
index 7203003d..c742f430 100644
--- a/tools/klee-stats/CMakeLists.txt
+++ b/tools/klee-stats/CMakeLists.txt
@@ -7,3 +7,7 @@
 #
 #===------------------------------------------------------------------------===#
 install(PROGRAMS klee-stats DESTINATION bin)
+
+# Copy into the build directory's binary directory
+# so integration tests can find it
+configure_file(klee-stats "${CMAKE_RUNTIME_OUTPUT_DIRECTORY}/klee-stats" COPYONLY)
-- 
cgit 1.4.1