From bae2fa50234b0a575a18a119019e5d96f7ff7ecf Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sun, 2 May 2010 16:39:02 +0000
Subject: Compile klee-libc with -D__NO_INLINE__, to prevent glibc from using
 inline definitions of putchar and atoi.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@102868 91177308-0d34-0410-b5e6-96231b3b80d8
---
 runtime/klee-libc/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'runtime/klee-libc/Makefile')

diff --git a/runtime/klee-libc/Makefile b/runtime/klee-libc/Makefile
index bcd61f73..e6a7ad72 100755
--- a/runtime/klee-libc/Makefile
+++ b/runtime/klee-libc/Makefile
@@ -16,4 +16,8 @@ BYTECODE_LIBRARY=1
 DEBUG_RUNTIME=1
 NO_PEDANTIC=1
 
+# Add __NO_INLINE__ to prevent glibc from using inline definitions of some
+# builtins.
+C.Flags += -D__NO_INLINE__
+
 include $(LEVEL)/Makefile.common
-- 
cgit 1.4.1