From 91f389ab46fb29656600a11a373a54ddf896d821 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sat, 25 Apr 2015 19:48:22 +0100
Subject: Clean up the installation/building of the runtime libraries.

* We don't need to build the native versions so that is now disabled
* We don't need to install (and hence build) the bytecode archive
  library versions of klee-libc or kleeRuntimeIntrinsic for new versions
  of LLVM right now (this is kind of messy).
---
 runtime/POSIX/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'runtime/POSIX/Makefile')

diff --git a/runtime/POSIX/Makefile b/runtime/POSIX/Makefile
index 9a42f5c0..1e570098 100644
--- a/runtime/POSIX/Makefile
+++ b/runtime/POSIX/Makefile
@@ -11,10 +11,10 @@ LEVEL=../..
 
 LIBRARYNAME=kleeRuntimePOSIX
 DONT_BUILD_RELINKED=1
-BUILD_ARCHIVE=1
 BYTECODE_LIBRARY=1
 # Don't strip debug info from the module.
 DEBUG_RUNTIME=1
 NO_PEDANTIC=1
+NO_BUILD_ARCHIVE=1
 
 include $(LEVEL)/Makefile.common
-- 
cgit 1.4.1