From ca22c4dee94552f65e6044341b0365a21d794d65 Mon Sep 17 00:00:00 2001
From: Peter Collingbourne <peter@pcc.me.uk>
Date: Wed, 14 Jul 2010 18:54:38 +0000
Subject: Add option to use an external version of STP

This patch adds a new configure option, --with-stp, which configures
KLEE to use an external version of STP instead of the version in the
source tree.  It includes documentation referring users to the STP
download location.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 2c3ab72b..44a9b836 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,13 @@
 #
 LEVEL = .
 
-DIRS = stp lib tools runtime
+include $(LEVEL)/Makefile.config
+
+DIRS = lib
+ifeq ($(ENABLE_EXT_STP),0)
+  DIRS += stp
+endif
+DIRS += tools runtime
 EXTRA_DIST = include
 
 # Only build support directories when building unittests.
-- 
cgit 1.4.1