From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 3 Jul 2010 18:18:55 +0000 (+0000)
Subject: better config.reconfig script auto-generated
X-Git-Tag: cvc5-1.0.0~8959
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=08c7de43f3ea028a9d397b09504d805affa39eef;p=cvc5.git

better config.reconfig script auto-generated
---

diff --git a/configure.ac b/configure.ac
index 0bced3680..49e35f71e 100644
--- a/configure.ac
+++ b/configure.ac
@@ -281,15 +281,20 @@ elif test "$CVC4_CONFIGURE_AT_TOP_LEVEL" = yes; then
   cd ../../..
   if test $exitval -eq 0; then
     cat >config.reconfig <<EOF
-#!/bin/sh -ex
+[#!/bin/bash
 # Generated by configure, `date`
 # This script part of CVC4.
 
-target='$target'
-build_type='$build_type'
+cd "\`dirname \\"\$0\\"\`"
 
-cd "builds/$target/$build_type"
-./config.status "\$@"
+current=(\`grep '^CURRENT_BUILD' builds/current | sed 's,^CURRENT_BUILD *= *\([^/]\\+\\)/\\(.*\\),\\1 \\2,'\`)
+arch=\${current[0]}
+build=\${current[1]}
+
+echo "reconfiguring in builds/\$arch/\$build..."
+cd "builds/\$arch/\$build"
+echo ./config.status "\$@"
+./config.status "\$@"]
 EOF
     chmod +x config.reconfig
   fi