From 37694e11c7a767105244ec563b061d13f0779f05 Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Thu, 14 Jan 2016 16:59:08 +0000 Subject: Add some of the basic plumbing required to support a Z3 solver in KLEE. --- tools/kleaver/Makefile | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'tools/kleaver') diff --git a/tools/kleaver/Makefile b/tools/kleaver/Makefile index ece2b799..08249444 100644 --- a/tools/kleaver/Makefile +++ b/tools/kleaver/Makefile @@ -23,4 +23,8 @@ ifneq ($(ENABLE_STP),0) LIBS += $(STP_LDFLAGS) endif +ifneq ($(ENABLE_Z3),0) + LIBS += $(Z3_LDFLAGS) +endif + include $(PROJ_SRC_ROOT)/MetaSMT.mk -- cgit 1.4.1