diff options
Diffstat (limited to 'tools/klee-replay/CMakeLists.txt')
| -rw-r--r-- | tools/klee-replay/CMakeLists.txt | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/tools/klee-replay/CMakeLists.txt b/tools/klee-replay/CMakeLists.txt index 6388df50..aeb90845 100644 --- a/tools/klee-replay/CMakeLists.txt +++ b/tools/klee-replay/CMakeLists.txt @@ -6,7 +6,7 @@ # License. See LICENSE.TXT for details. # #===------------------------------------------------------------------------===# -if (HAVE_PTY_H OR HAVE_UTIL_H) +if (HAVE_PTY_H OR HAVE_UTIL_H OR HAVE_LIBUTIL_H) add_executable(klee-replay fd_init.c file-creator.c @@ -14,10 +14,16 @@ if (HAVE_PTY_H OR HAVE_UTIL_H) klee_init_env.c ) - target_link_libraries(klee-replay PRIVATE kleeBasic ${LIBCAP_LIBRARIES}) + target_link_libraries(klee-replay PRIVATE kleeBasic) + + if(LIBCAP_LIBRARIES) + target_link_libraries(klee-replay PRIVATE ${LIBCAP_LIBRARIES}) + endif() + if (openpty_in_libutil) target_link_libraries(klee-replay PRIVATE ${LIBUTIL_LIBRARIES}) endif (openpty_in_libutil) + install(TARGETS klee-replay RUNTIME DESTINATION bin) else() message(WARNING "Not building klee-replay due to missing library for pty functions.") |