diff options
| author | Daniel Dunbar <daniel_dunbar@apple.com> | 2014-09-12 22:47:06 -0700 |
|---|---|---|
| committer | Daniel Dunbar <daniel_dunbar@apple.com> | 2014-09-12 22:47:06 -0700 |
| commit | 64aaf2ff840d205a878012bf88bd8e884165d57f (patch) | |
| tree | 6ce51e039ba26ba6d91f9bdf7b07ae6e32cb1a80 /configure | |
| parent | c37e33f70556f544f608cdf970119001fb8d92e4 (diff) | |
| download | klee-64aaf2ff840d205a878012bf88bd8e884165d57f.tar.gz | |
[tests] Fix Concrete tests for out-of-tree builds.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/configure b/configure index a5d9fcd0..039617d7 100755 --- a/configure +++ b/configure @@ -6733,6 +6733,9 @@ ac_config_commands="$ac_config_commands test/Makefile" ac_config_commands="$ac_config_commands test/Makefile.tests" +ac_config_commands="$ac_config_commands test/Concrete/Makefile" + + ac_config_commands="$ac_config_commands tools/Makefile" @@ -7298,6 +7301,7 @@ do "runtime/Makefile") CONFIG_COMMANDS="$CONFIG_COMMANDS runtime/Makefile" ;; "test/Makefile") CONFIG_COMMANDS="$CONFIG_COMMANDS test/Makefile" ;; "test/Makefile.tests") CONFIG_COMMANDS="$CONFIG_COMMANDS test/Makefile.tests" ;; + "test/Concrete/Makefile") CONFIG_COMMANDS="$CONFIG_COMMANDS test/Concrete/Makefile" ;; "tools/Makefile") CONFIG_COMMANDS="$CONFIG_COMMANDS tools/Makefile" ;; "unittests/Makefile") CONFIG_COMMANDS="$CONFIG_COMMANDS unittests/Makefile" ;; @@ -7865,6 +7869,8 @@ echo "$as_me: executing $ac_file commands" >&6;} ${SHELL} ${llvm_src}/autoconf/install-sh -m 0644 -c ${srcdir}/test/Makefile test/Makefile ;; "test/Makefile.tests":C) ${llvm_src}/autoconf/mkinstalldirs `dirname test/Makefile.tests` ${SHELL} ${llvm_src}/autoconf/install-sh -m 0644 -c ${srcdir}/test/Makefile.tests test/Makefile.tests ;; + "test/Concrete/Makefile":C) ${llvm_src}/autoconf/mkinstalldirs `dirname test/Concrete/Makefile` + ${SHELL} ${llvm_src}/autoconf/install-sh -m 0644 -c ${srcdir}/test/Concrete/Makefile test/Concrete/Makefile ;; "tools/Makefile":C) ${llvm_src}/autoconf/mkinstalldirs `dirname tools/Makefile` ${SHELL} ${llvm_src}/autoconf/install-sh -m 0644 -c ${srcdir}/tools/Makefile tools/Makefile ;; "unittests/Makefile":C) ${llvm_src}/autoconf/mkinstalldirs `dirname unittests/Makefile` |