diff options
| author | Tim King <taking@google.com> | 2015-10-23 14:16:39 -0700 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2015-10-23 19:11:21 -0700 |
| commit | dd59444639796fb56b11d3852ca436fc049f39c7 (patch) | |
| tree | 9992c96a5b64dac0c79efb2890f20093e8a5ec48 /configure.ac | |
| parent | dbc9516df982e255dfe48a98c95a6ab55326aba6 (diff) | |
Changes configure.ac so that the single recurisve invocation runs with a relative path. This lets the @srcdir@ variable in configuration be a relative path.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index ac68a8edd..0b1700cca 100644 --- a/configure.ac +++ b/configure.ac @@ -394,8 +394,10 @@ elif test "$CVC4_CONFIGURE_AT_TOP_LEVEL" = yes; then $as_echo "cd builds/$target/$build_type" cd "builds/$target/$build_type" CVC4_CONFIGURE_IN_BUILDS=yes; export CVC4_CONFIGURE_IN_BUILDS + # Runs the single recursive configure invocation using a relative path. + # See https://lists.gnu.org/archive/html/autoconf/2011-04/msg00060.html echo "$SHELL ../../../configure ${config_cmdline[[@]]}" - "$SHELL" "`pwd`/../../../configure" "${config_cmdline[[@]]}" + "$SHELL" "../../../configure" "${config_cmdline[[@]]}" exitval=$? cd ../../.. if test $exitval -eq 0; then |