From a0ccc8423c579e131ee5763a53ecfff6bfb33a81 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Wed, 5 Aug 2009 03:45:08 +0000
Subject: Build klee-replay when the POSIX runtime is enabled.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@78149 91177308-0d34-0410-b5e6-96231b3b80d8
---
 tools/Makefile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/tools/Makefile b/tools/Makefile
index 3fd6f5be..64b50042 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -16,6 +16,11 @@ LEVEL=..
 # List all of the subdirectories that we will compile.
 #
 PARALLEL_DIRS=klee kleaver ktest-tool gen-random-bout klee-stats
-# FIXME: Move qplayer functionality into kleaver
+
+include $(LEVEL)/Makefile.config
+
+ifeq ($(ENABLE_POSIX_RUNTIME),1)
+PARALLEL_DIRS += klee-replay
+endif
 
 include $(LEVEL)/Makefile.common
-- 
cgit 1.4.1