diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/kleaver/Makefile | 4 | ||||
| -rw-r--r-- | tools/kleaver/main.cpp | 4 | ||||
| -rw-r--r-- | tools/klee/Makefile | 4 |
3 files changed, 8 insertions, 4 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 */ diff --git a/tools/klee/Makefile b/tools/klee/Makefile index eb80d845..8e9ac6b7 100644 --- a/tools/klee/Makefile +++ b/tools/klee/Makefile @@ -20,7 +20,9 @@ LINK_COMPONENTS += irreader endif 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 |