From 0d705e4aef74f22e80ad84112c9e85268b1d2f7d Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 6 Nov 2020 16:23:31 +0000
Subject: Added fortified library (for -D_FORTIFY_SOURCE), to be linked when
 uclibc is used.

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

(limited to 'runtime/CMakeLists.txt')

diff --git a/runtime/CMakeLists.txt b/runtime/CMakeLists.txt
index 9bd1442b..ea8335de 100644
--- a/runtime/CMakeLists.txt
+++ b/runtime/CMakeLists.txt
@@ -91,11 +91,13 @@ endforeach ()
 add_subdirectory(Freestanding)
 add_subdirectory(Intrinsic)
 add_subdirectory(klee-libc)
+add_subdirectory(Fortify)
 
 set(RUNTIME_LIBRARIES
         RuntimeFreestanding
         RuntimeIntrinsic
         RuntimeKLEELibc
+        RuntimeFortify
         )
 
 if (ENABLE_KLEE_EH_CXX)
-- 
cgit 1.4.1