From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 15 Feb 2013 17:00:29 +0000 (-0500)
Subject: Fix builds/ links to survive configuring twice with different prefixes
X-Git-Tag: cvc5-1.0.0~7406^2~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=814526633b07146d4f0f9e6d24583bd6e645d8cd;p=cvc5.git

Fix builds/ links to survive configuring twice with different prefixes
---

diff --git a/Makefile.builds.in b/Makefile.builds.in
index 6f9c7aaab..be6df95d3 100644
--- a/Makefile.builds.in
+++ b/Makefile.builds.in
@@ -137,8 +137,8 @@ else
 	done
 endif
 #	set up builds/$(CURRENT_BUILD)/bin and builds/$(CURRENT_BUILD)/lib
-	$(AM_V_at)test -e $(CURRENT_BUILD)/lib || ln -sf "$(abs_builddir)$(libdir)" $(CURRENT_BUILD)/lib
-	$(AM_V_at)test -e $(CURRENT_BUILD)/bin || ln -sf "$(abs_builddir)$(bindir)" $(CURRENT_BUILD)/bin
+	rm -f $(CURRENT_BUILD)/lib; ln -sf "$(abs_builddir)$(libdir)" $(CURRENT_BUILD)/lib
+	rm -f $(CURRENT_BUILD)/bin; ln -sf "$(abs_builddir)$(bindir)" $(CURRENT_BUILD)/bin
 #	set up builds/...prefix.../bin and builds/...prefix.../lib
 	$(AM_V_mkdir) ".$(bindir)"
 	$(AM_V_mkdir) ".$(libdir)"
@@ -184,8 +184,8 @@ else
 	done
 endif
 #	set up builds/bin and builds/lib
-	$(AM_V_at)test -e lib || ln -sf ".$(libdir)" lib
-	$(AM_V_at)test -e bin || ln -sf ".$(bindir)" bin
+	rm -f lib; ln -sf ".$(libdir)" lib
+	rm -f bin; ln -sf ".$(bindir)" bin
 	rm -f doc; ln -sf "$(CURRENT_BUILD)/doc" doc
 	rm -f examples; ln -sf "$(CURRENT_BUILD)/examples" examples