diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-12-02 16:26:52 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2016-12-02 18:28:57 +0000 |
| commit | 28a3d47fa03b9ed98f1bbb4f1b38ecbd44ab1a00 (patch) | |
| tree | 7e7aeaaa87faa8065739d4266c47f57a0f6f867f /tools/klee-stats | |
| parent | 9293a3b584a8249ec8846e9200699e46e22a887c (diff) | |
| download | klee-28a3d47fa03b9ed98f1bbb4f1b38ecbd44ab1a00.tar.gz | |
Fixed the issue of klee-stats not being copied to bin/
Diffstat (limited to 'tools/klee-stats')
| -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) |