From 8a7705ad979096d4e611fb2b8b397c48dd5fffc1 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Sat, 12 Dec 2015 20:14:01 +0000 Subject: 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. --- unittests/Solver/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'unittests/Solver') 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 -- cgit 1.4.1