diff options
| -rw-r--r-- | tools/klee-stats/CMakeLists.txt | 4 |
1 files changed, 4 insertions, 0 deletions
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) |