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 /tools/kleaver | |
| 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 'tools/kleaver')
| -rw-r--r-- | tools/kleaver/Makefile | 4 | ||||
| -rw-r--r-- | tools/kleaver/main.cpp | 4 |
2 files changed, 5 insertions, 3 deletions
diff --git a/tools/kleaver/Makefile b/tools/kleaver/Makefile index 10b19a20..a72c4c9d 100644 --- a/tools/kleaver/Makefile +++ b/tools/kleaver/Makefile @@ -19,7 +19,9 @@ LINK_COMPONENTS = support include $(LEVEL)/Makefile.common -LIBS += $(STP_LDFLAGS) +ifneq ($(ENABLE_STP),0) + LIBS += $(STP_LDFLAGS) +endif ifeq ($(ENABLE_METASMT),1) include $(METASMT_ROOT)/share/metaSMT/metaSMT.makefile diff --git a/tools/kleaver/main.cpp b/tools/kleaver/main.cpp index f91693c5..ea9be41f 100644 --- a/tools/kleaver/main.cpp +++ b/tools/kleaver/main.cpp @@ -36,7 +36,7 @@ using namespace llvm; using namespace klee; using namespace klee::expr; -#ifdef SUPPORT_METASMT +#ifdef ENABLE_METASMT #include <metaSMT/DirectSolver_Context.hpp> #include <metaSMT/backend/Z3_Backend.hpp> @@ -53,7 +53,7 @@ using namespace klee::expr; using namespace metaSMT; using namespace metaSMT::solver; -#endif /* SUPPORT_METASMT */ +#endif /* ENABLE_METASMT */ |