From dd59444639796fb56b11d3852ca436fc049f39c7 Mon Sep 17 00:00:00 2001 From: Tim King Date: Fri, 23 Oct 2015 14:16:39 -0700 Subject: [PATCH] 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. --- configure.ac | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 -- 2.30.2