From a008fb78987a4675d12f5934f3d51bbd84c3f653 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Mon, 5 Apr 2010 04:02:31 +0000
Subject: STP: Switch build to using LLVM style Makefiles.

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

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index 4cbe3302..c54f1142 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -29,3 +29,6 @@ endif
 LD.Flags += -L$(PROJ_SRC_ROOT)/stp/lib
 CXX.Flags += -I$(PROJ_SRC_ROOT)/stp/include
 CXX.Flags += -DKLEE_DIR=\"$(PROJ_SRC_ROOT)\"
+
+# For STP.
+CXX.Flags += -DEXT_HASH_MAP
-- 
cgit 1.4.1