diff options
author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-07-31 17:21:30 +0000 |
---|---|---|
committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-07-31 17:21:30 +0000 |
commit | c582aa704b9f0d2729e76251aeb4676d4cb866a6 (patch) | |
tree | a8303928c18d72cad31f08cb07407ec080e9949d /Makefile | |
parent | 1fdb4ef41ea8a87225f751fa87534c5ac1751d40 (diff) | |
download | klee-c582aa704b9f0d2729e76251aeb4676d4cb866a6.tar.gz |
Patch by Dan Liew that removes our internal copy of STP, and makes the --with-stp option mandatory:
"1. At configure time the --with-stp= option is now mandatory. 2. The HAVE_EXT_STP macro has been removed. 3. The ENABLE_EXT_STP autoconf replacement variable has been removed and consequently the Makefile variable of the same name has been removed." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@161055 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/Makefile b/Makefile index 44a9b836..ec197a4a 100644 --- a/Makefile +++ b/Makefile @@ -14,11 +14,7 @@ LEVEL = . include $(LEVEL)/Makefile.config -DIRS = lib -ifeq ($(ENABLE_EXT_STP),0) - DIRS += stp -endif -DIRS += tools runtime +DIRS = lib tools runtime EXTRA_DIST = include # Only build support directories when building unittests. |