From 7cfd25c0784fedfde7d2e8eaf0064437d6a0814b Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sun, 20 Nov 2016 10:49:26 +0000
Subject: [CMake] Implement install of the kleeRuntest target.

---
 runtime/Runtest/CMakeLists.txt | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'runtime')

diff --git a/runtime/Runtest/CMakeLists.txt b/runtime/Runtest/CMakeLists.txt
index dd455861..9ae185ee 100644
--- a/runtime/Runtest/CMakeLists.txt
+++ b/runtime/Runtest/CMakeLists.txt
@@ -20,3 +20,6 @@ set_target_properties(kleeRuntest
     VERSION ${KLEE_RUNTEST_VERSION}
     SOVERSION ${KLEE_RUNTEST_VERSION}
 )
+
+install(TARGETS kleeRuntest
+  DESTINATION "${CMAKE_INSTALL_FULL_LIBDIR}")
-- 
cgit 1.4.1