From 696ba2a432ee1fbaea8bfee3eac823dd0df2147d Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Tue, 9 Jun 2009 03:42:41 +0000 Subject: Quick hack to build SMT LLVM style. - I don't want to make proper bison/flex rules, and eventually I think we should just check in the generated files since we don't expect them to change, so for now just build the files in the src directory. Eventually we will want to disable these rules so that it works for people who don't have bison/flex. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73121 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Makefile') diff --git a/lib/Makefile b/lib/Makefile index e12fef50..fa5ab9d4 100644 --- a/lib/Makefile +++ b/lib/Makefile @@ -9,7 +9,7 @@ LEVEL=.. -PARALLEL_DIRS=Basic Support Expr Solver Module Core +PARALLEL_DIRS=Basic Support SMT Expr Solver Module Core include $(LEVEL)/Makefile.common -- cgit 1.4.1