From bda5951b4234fa67a75431162e5edc4acbb4af8b Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 11 Oct 2013 11:55:23 +0100
Subject: Fixed compilation on LLVM 2.9.  irreader should be linked only for
 LLVM >= 3.3

---
 tools/klee/Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/klee/Makefile b/tools/klee/Makefile
index 0721695f..e1dbefce 100644
--- a/tools/klee/Makefile
+++ b/tools/klee/Makefile
@@ -13,8 +13,11 @@ TOOLNAME = klee
 include $(LEVEL)/Makefile.config
 
 USEDLIBS = kleeCore.a kleeBasic.a kleeModule.a  kleaverSolver.a kleaverExpr.a kleeSupport.a 
-LINK_COMPONENTS = jit bitreader bitwriter ipo linker engine irreader
+LINK_COMPONENTS = jit bitreader bitwriter ipo linker engine
 
+ifeq ($(shell echo "$(LLVM_VERSION_MAJOR).$(LLVM_VERSION_MINOR) >= 3.3" | bc), 1)
+LINK_COMPONENTS += irreader
+endif
 include $(LEVEL)/Makefile.common
 
 LIBS += -lstp
-- 
cgit 1.4.1