From 5b8e54a95bc2e1f373710aa62f5e6b70768555e7 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Mon, 6 Apr 2020 14:22:30 +0100
Subject: [cmake] Always create KLEE runtime directory even if POSIX is not
 built

---
 CMakeLists.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'CMakeLists.txt')

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 8841e546..12ec29c2 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -491,6 +491,8 @@ set(KLEE_INSTALL_RUNTIME_DIR "${CMAKE_INSTALL_FULL_LIBDIR}/klee/runtime")
 # Location where KLEE will look for the built runtimes by default.
 set(KLEE_RUNTIME_DIRECTORY "${CMAKE_BINARY_DIR}/${KLEE_RUNTIME_BUILD_TYPE}/lib")
 
+file(MAKE_DIRECTORY ${KLEE_RUNTIME_DIRECTORY})
+
 ################################################################################
 # KLEE POSIX Runtime Support
 ################################################################################
@@ -532,7 +534,6 @@ if (ENABLE_KLEE_UCLIBC)
 
   # Make a symlink to KLEE_UCLIBC_C_BCA so KLEE can find it where it
   # is expected.
-  file(MAKE_DIRECTORY "${KLEE_RUNTIME_DIRECTORY}")
   execute_process(COMMAND ${CMAKE_COMMAND} -E create_symlink
     "${KLEE_UCLIBC_C_BCA}"
     "${KLEE_RUNTIME_DIRECTORY}/${KLEE_UCLIBC_BCA_NAME}"
-- 
cgit 1.4.1