diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-08-02 03:13:07 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-08-02 03:13:07 +0000 |
| commit | 6159231363753090ff4bff6694b13b3f437f41d2 (patch) | |
| tree | e41c7cd9df84e63c2997bd562e571bfa39f7a8d1 /stp | |
| parent | 08a220d847c56f67170a15fe20f3183b488bdd4b (diff) | |
| download | klee-6159231363753090ff4bff6694b13b3f437f41d2.tar.gz | |
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
Diffstat (limited to 'stp')
| -rw-r--r-- | stp/Makefile | 15 |
1 files 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 \ |