From 454dfc67045fbbc3358b28f855f3af0af31daf47 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Mon, 11 Mar 2013 17:11:06 +0000 Subject: Patch by Dan Liew which unifies the solver construction between KLEE and Kleaver and fixes --use-query-log in Kleaver. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@176811 91177308-0d34-0410-b5e6-96231b3b80d8 --- tools/kleaver/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/kleaver/Makefile') diff --git a/tools/kleaver/Makefile b/tools/kleaver/Makefile index 3973a2e6..b6ccc91f 100644 --- a/tools/kleaver/Makefile +++ b/tools/kleaver/Makefile @@ -14,7 +14,7 @@ include $(LEVEL)/Makefile.config # FIXME: Ideally we wouldn't have any LLVM dependencies here, which # means kicking out klee's Support. -USEDLIBS = kleaverSolver.a kleaverExpr.a kleeSupport.a kleeBasic.a +USEDLIBS = kleeBasic.a kleaverSolver.a kleaverExpr.a kleeSupport.a LINK_COMPONENTS = support include $(LEVEL)/Makefile.common -- cgit 1.4.1