From 6159231363753090ff4bff6694b13b3f437f41d2 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sun, 2 Aug 2009 03:13:07 +0000
Subject: Stop building the STP parser, we don't need it and it unnecessarily
 adds a dependency on flex and bison.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77853 91177308-0d34-0410-b5e6-96231b3b80d8
---
 stp/Makefile | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/stp/Makefile b/stp/Makefile
index f66644a5..23cdcd1b 100644
--- a/stp/Makefile
+++ b/stp/Makefile
@@ -5,14 +5,19 @@
 
 include Makefile.common
 
-BINARIES=bin/stp
-LIBS=AST/libast.a sat/libsatsolver.a simplifier/libsimplifier.a bitvec/libconsteval.a constantbv/libconstantbv.a c_interface/libcinterface.a
-DIRS=AST sat simplifier bitvec c_interface constantbv parser
+USE_PARSER := 0
+
+LIBS := AST/libast.a sat/libsatsolver.a simplifier/libsimplifier.a bitvec/libconsteval.a constantbv/libconstantbv.a c_interface/libcinterface.a
+DIRS := AST sat simplifier bitvec c_interface constantbv
+
+ifeq ($(USE_PARSER), 1)
+DIRS += parser
+endif
 
 # NB: the TAGS target is a hack to get around this recursive make nonsense
 # we want all the source and header files generated before we make tags
 .PHONY: all
-all: lib/libstp.a bin/stp include/stp/c_interface.h
+all: lib/libstp.a include/stp/c_interface.h
 
 AST/libast.a:
 	@$(MAKE) -q -C `dirname $@` || $(MAKE) -C `dirname $@`
@@ -29,7 +34,7 @@ c_interface/libcinterface.a: AST/libast.a
 parser/parser: $(LIBS)
 	@$(MAKE) -q -C `dirname $@` || $(MAKE) -C `dirname $@`
 
-lib/libstp.a: parser/parser $(LIBS)
+lib/libstp.a: $(LIBS)
 	@mkdir -p lib
 	rm -f $@
 	@for dir in $(DIRS); do \
-- 
cgit 1.4.1