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. --- unittests/Solver/Makefile | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'unittests/Solver') diff --git a/unittests/Solver/Makefile b/unittests/Solver/Makefile index 1d3d609e..4b58628f 100644 --- a/unittests/Solver/Makefile +++ b/unittests/Solver/Makefile @@ -13,4 +13,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