From 97418c39fb279d06d5f428e46b4d3fde9a1e196b Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Sun, 14 Sep 2014 13:57:38 +0100 Subject: Remove dependence on the bc tool. Use python instead because we are already dependent on it. --- tools/klee/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/klee/Makefile b/tools/klee/Makefile index e526f2a2..03b387c0 100644 --- a/tools/klee/Makefile +++ b/tools/klee/Makefile @@ -15,7 +15,7 @@ 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 -ifeq ($(shell echo "$(LLVM_VERSION_MAJOR).$(LLVM_VERSION_MINOR) >= 3.3" | bc), 1) +ifeq ($(shell python -c "print($(LLVM_VERSION_MAJOR).$(LLVM_VERSION_MINOR) >= 3.3)"), True) LINK_COMPONENTS += irreader endif include $(LEVEL)/Makefile.common -- cgit 1.4.1