From: Tim King <taking@google.com>
Date: Fri, 23 Oct 2015 21:16:39 +0000 (-0700)
Subject: Changes configure.ac so that the single recurisve invocation runs with a relative... 
X-Git-Tag: cvc5-1.0.0~6194
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dd59444639796fb56b11d3852ca436fc049f39c7;p=cvc5.git

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.
---

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