From 1a1b60e82f351baf5b72bf5d7cf740e34378f0bc Mon Sep 17 00:00:00 2001
From: Gleb Popov <6yearold@gmail.com>
Date: Mon, 28 Feb 2022 14:39:48 +0300
Subject: Make Uclibc support a runtime option, not a compile-time one.

---
 include/klee/Config/config.h.cmin | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'include')

diff --git a/include/klee/Config/config.h.cmin b/include/klee/Config/config.h.cmin
index 272b090a..b9fdf7c3 100644
--- a/include/klee/Config/config.h.cmin
+++ b/include/klee/Config/config.h.cmin
@@ -89,9 +89,6 @@
 /* Use Workaround for LLVM PR39177 (affecting LLVM 3.9 - 7.0.0) */
 #cmakedefine USE_WORKAROUND_LLVM_PR39177 @USE_WORKAROUND_LLVM_PR39177@
 
-/* klee-uclibc is supported */
-#cmakedefine SUPPORT_KLEE_UCLIBC @SUPPORT_KLEE_UCLIBC@
-
 /* libcxx is supported */
 #cmakedefine SUPPORT_KLEE_LIBCXX @SUPPORT_KLEE_LIBCXX@
 
-- 
cgit 1.4.1