diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-12 20:14:01 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-01-14 11:50:09 +0000 |
| commit | 8a7705ad979096d4e611fb2b8b397c48dd5fffc1 (patch) | |
| tree | 86a2fd486e2bca162d4b4f3aa0d3b90927f76e1d /unittests | |
| parent | e81f5ceed580d4d267e3c857b47637d6bd065499 (diff) | |
| download | klee-8a7705ad979096d4e611fb2b8b397c48dd5fffc1.tar.gz | |
Make it possible to build KLEE without using STP and only MetaSMT.
The default core solver is STP if KLEE is built with STP otherwise it is MetaSMT. Whilst I'm here rename SUPPORT_METASMT macro to ENABLE_METASMT for consistency.
Diffstat (limited to 'unittests')
| -rw-r--r-- | unittests/Expr/Makefile | 1 | ||||
| -rw-r--r-- | unittests/Ref/Makefile | 2 | ||||
| -rw-r--r-- | unittests/Solver/Makefile | 4 |
3 files changed, 3 insertions, 4 deletions
diff --git a/unittests/Expr/Makefile b/unittests/Expr/Makefile index e52aea31..ca92271a 100644 --- a/unittests/Expr/Makefile +++ b/unittests/Expr/Makefile @@ -10,4 +10,3 @@ LINK_COMPONENTS := support include $(LLVM_SRC_ROOT)/unittests/Makefile.unittest CXXFLAGS += -DLLVM_29_UNITTEST -LIBS += $(STP_LDFLAGS) diff --git a/unittests/Ref/Makefile b/unittests/Ref/Makefile index 14dcc8bd..10c4bebd 100644 --- a/unittests/Ref/Makefile +++ b/unittests/Ref/Makefile @@ -8,5 +8,3 @@ USEDLIBS := kleaverExpr.a kleeBasic.a LINK_COMPONENTS := support include $(LLVM_SRC_ROOT)/unittests/Makefile.unittest - -LIBS += $(STP_LDFLAGS) diff --git a/unittests/Solver/Makefile b/unittests/Solver/Makefile index aeac34ac..65edbe7a 100644 --- a/unittests/Solver/Makefile +++ b/unittests/Solver/Makefile @@ -9,4 +9,6 @@ LINK_COMPONENTS := support include $(LLVM_SRC_ROOT)/unittests/Makefile.unittest -LIBS += $(STP_LDFLAGS) +ifneq ($(ENABLE_STP),0) + LIBS += $(STP_LDFLAGS) +endif |