From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 25 Oct 2012 16:26:24 +0000 (+0000)
Subject: One of my changes to the build system yesterday broke the nightly build because:
X-Git-Tag: cvc5-1.0.0~7673
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=053bbbb127ba6c9ce08e76f8e707f4ce248bb99b;p=cvc5.git

One of my changes to the build system yesterday broke the nightly build because:

1. The source tree was configured.
2. The builds directory was removed.
3. The source tree was re-configured.

Which led to a nasty dangling symlink that caused (3) to abort.

Fixed.
---

diff --git a/configure.ac b/configure.ac
index f94f07419..44b2c0a31 100644
--- a/configure.ac
+++ b/configure.ac
@@ -379,7 +379,7 @@ echo ./config.status "\$@"
 EOF
     chmod +x config.reconfig
   fi
-  ln -sf "builds/$target/$build_type/config.log" "config.log"
+  ln -sf "$target/$build_type/config.log" "builds/config.log"
   exit $exitval
 else
   AC_MSG_RESULT([this one (user-specified)])